This is a library of utilities that were originally developed for use in
Proofscape, but which are highly general, and may be more broadly useful.
