skeleton for unification
unification for the simple constraints