full iteration, removing the type solver component