A Proof Theory for General Unification