Constraint generation, substitution, and unification

• Use new constraint substitution and unification algorithm for type inference
• Check that statement raises exception that it mentions

A few language features have been removed, these will be re-added as time goes along:

• Iterating over Tuples
• Mutable fields within tuples
• Nested function calls
• Mutability checks