Fixed bug in lowering to first order expression - use target type when hashing. In addition - some prints added and some cosmetic changes.
Reorganizing and updating 'legacy' lexicon; Support for marking 'compoundable' annotations added to lexicon interface.
Major update: added ID to annotations ; reorganization of Pipeline ; type-specific support for implications ; iota extraction from implications ; division of input for prover9 into 3 parts: uniqueness conditions, implications and semantics ; lowering the case of leaves ; updated test suite ; method for extracting types of subsumed elements