Initial all target (does nothing).
all is PHONY.
Depend on some useful things.
Representation of TPTP dbs and problems.
Parse TPTP files.
First stab at making an executable.
How to make Kuno.
Make kuno by default.
Ignore the executable.
Stringification.
We need yacc.
Wrong package.
Drop rendering and unused functions.  Ensure the right package.
Use the new files.
General expressions.
Wrong package.
Whitespace killing.
The E rules.
Parse TPTP, then proceed.
We check this later.