further cleanup of EqualityOperations#isFalse
removed useless methods in Unifier and SymbolicUnifier
removed BuiltinMgu for now; will have to properly implement it later
cleaned up Term#accept(Matcher,Term) and Term#accept(Unifier,Term)