split logtk into new, simple, small library (terms),
and logtk.extended which contains lots of stuff
Fix broken stuff in FOTerm, Type and ScopedTerm