Test the coverage of parsing the TPTP library.
Load the new tests.
HASH-TABLE-KEYS.
Move code to db.lisp.

Probably a lot of it should simply be deleted.
More imports.
Export two symbols.
Released problems.