Fix a HUGE mistake in the unification algorithm that allowed unchecked recursive types.