It is now about half as much code, and uses fewer and simpler
functions and data types. The external interface is now much smaller,
which meant that I had to change quite a bit of other code.
I orignally wrote this in parallel with dons' clean-up changes,
and had to merge by hand since darcs went into mad exponential conflict mode.
I hope I didn't revert too many of dons' changes.