Refactored set, sequence, map and tagged object types
Removed tuple pattern
Added some constructors for core types
Miscellanea