Added typeEnv as a first class collection class
Added helper methods for SupportedTypes class
Refactored all Map<Ident, Type> instances to SupportedTypes object