Add compile time type checking for set type declarations. For example, it will catch stuff like 'set of real' or 'set of myRecord' as an error.