Text this: A proof theory for general unification /