Dump unused.
Move famous-formulas.lisp to the ucw directory.