As the title says, Enumeration has two properties for the same information. ``` public Type Type { get; set; } public BuiltinType BuiltinType { get; set; } ``` We should remove `BuiltinType` and have it just as a desugared property of `Type`.