* Moved polymorphism from functions to arities.
* Moving some more of the code in &type-checker to &type.