Get rid of annotations as a separate class.

Just use source and optional-info as (possibly unset) slots in TPTP-FORMULA objects.
REDUCE-EQUIVALENCES for solutions.
REDUCE-EQUIVALENCES for TPTP-DBs.
Update parsing rules to correspond to the lack of annotations.
PRINT-OBJECT for general lists.
More fine-grained sources.
FLATTEN-TPTP for INFERENCE-RECORDs.
Render inference records.
Initially nil.