iter sorts are now enumerable in the checker