Check for escape when unifying forall-types