complete refactoring of the converters API. Small improvements in the Type Solver related classes.