Refactored set, sequence, map and tagged object types
Removed tuple pattern
Miscellanea