more changes in the converters
deletion of obsolete classes
adding support for HiLog logic terms, general improvements in the loading mechanism and other small refactorings