-- | Determines if two terms are the same. This is basically a test for equality
-- that ignores variable names.
unify :: Term -> Term -> Bool
unify (C c1) (C c2) = unifyContexts c1 c2
unify :: Term -> Term -> Bool
unify (C c1) (C c2) = unifyContexts c1 c2
unify (C c1) (C c2) = unifyContexts c1 c2