detection of unbound variables
unification while constraint generation (mostly working)
applied mgu to bindings