Superposition with Delayed Unification