most of functions working on unification on types
unification operating on contexts
inferType working on all lambda terms