Separate skolemization from var tagging.

Previously, universally quantified variables needed to be tagged before skolemization. This change removes that implicit ordering constraint.