Interface TypeSolver