major refactoring - created packages for first-order-logic, andrews-curtis,
code-experiments.