Fixing dispatch to handle 2 or 3 arg unify