Added more complex constraints, removed some TODO strings from push-types
Got in/out-stack on labels working.
Fixed incorrect TypeVar constructor on left-hand side of constraints
Merge branch 'typeAnalysis' of github.com:tudelft-mdsd/spoofax-jasmin into typeAnalysis