Check cyclic type unification