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