Dump stubs for Felscher's transformations.
Dump unused figure.lisp.
Dump unused sequent.lisp.