Adapt some old code.
HEAD.
TOP and CONTRADICTION.
Adapt some old code.

(It may need further work.)
Conjunctions.
Don't load expressions.lisp.

We are trying to merge some duplications.
Adapt some old code.
New generic function FUNCTION-SYMBOL.
Drop unused function.
Strings.
Cleanup: dump signatures, change class names.
Clean up
Signatures are gone.
Drop rendering.
Overhaul symbolic attacks.
Change name.
Wrong type.
Bindings, not the (one and only) bound variable.
Don't worry about enumerating for now.
List of bindings.