rewrote unify* to use #2dmatch
add error message with the right form name