renaming the TypeSolver.inferType() method
small fix in PrologSpeakingClass
deleting the redundant TypeNameFunctor converter
adding test for setting a variable according to its declared type
added support for Prolog expressions denoting constructors