added method in the JpcBuilder allowing to associate TypeSolvers with a term