moving typesolvertest
adding converters
fixing tojtermconverter
added new converters to the default converter manager
added a class modelling the PrologReferenceTypes
adding a default static jpc context
adding prolog/logtalk side files
renaming converters test
adding test on reification conversions
updating the main test suite with the new tests