Basic type inference for simply-typed lambda calculus-ish
Basic unification of types... almost.
Add type resolution.
Propogate type mappings.