#KJ-107 Fix tools search/debug to work with split semantics. Implemented. also deleted "full" directory. We cannot maintain the full semantics anymore as it is not compatible with the syntactic form of some terms.