Write a Lisp function, UNIFRAME, which will unify frames (instead of relations and functions)