Add Robinson's unification algorithm to type inference.