mostly more log stuff
and even more log stuff
Revolution: adding TypesContainer, removing TypeConstraints - now types are per dataset\documents\sentences, and not global\static in the program