* QC the url generation/pretty printing (no API change)
* Proper pretty printer (very little, if any, API change)
* GADT/deeper embedding of command language (significant API change)
* Flesh out data structures and functions for creating parameters (API
  addition)

* maybe: generate bindings from xml spec