Refactored set, sequence, map and tagged object types
Removed tuple pattern
Miscellanea
STATIC TYPE CHECKER - WORK IN PROGRESS