Refactoring of the i/o handling
Allow for multiple input handlers, keyed by the command-line option
Match module, for minimal structure matching
Fixes to match, as well as moving to isomorphism.Pattern rather than UIT