Rename.
Rulesets are back (sort of).
Move methods that require parsing to parse.lisp.
Use verum and falsum.
Drop unused functionality.
Package.
Account for rename.
Redundant.
Method for making atomic formulas for strings.

Also, drop the hashtable for trying to not create multiple formulas.
That is not in focus at the moment.
Wrong class declaration.

This makes no sense.
Is this an implication?
Better function names.
ATTACK-P and DEFENSE-P for strategy nodes.
More chicken scratches on intuitionistic validity.