Fixed case of type names
Switched record and union types from sets to sequences
Added syntactic versions of integer range types and type references