Removing unused unify code now that we're consistently using the unify_with methods in ast.cpp.