Still futzing with labelling

* src/pretty.ml{,i}: pretty-printing framework
* src/form.ml: dropped GADTs