Add a simple command-line user interface

Just a matter of style, can we use plain Haskell-style data declarations when we don't need fancy indexing? So

~~~~hs
data CheckArgsUni = CAPaths
~~~~
~~~~