typeSolver