Reminders.
Type inference. At least a start.
Type inferencing for tuples.
Minor refactoring in inferImpl
Realigning datatypes.
Ignoring scratchpad.
Type inference for functions. Formalizing that all variables are assigned type variables of the same id. This is achieved by assigning new type variables created during type inference in a range above those of variables.