Moved checkSkolemEscapes to the type unification module
allow checkSkolemEscapes to skip the depth check