type sets unification
Dense looping