Snyder, W.: A Proof Theory for General Unification