iterating on the type solver classes