Dump some unused quasi-parsing utilities.

These were used in a project for dialogical logic; they're not really
TPTP-specific.