regression build: run all the tests.
UI: better messages to describe output.
subTypes/showForest bug fix: make baseTypes explicit in subTypes rep.
  - Slightly less efficient, but now subtypes and showForest have the
    same representations.
  - Easier to shrink baseTypes.
documentation/style wibbles.
gitignore wibble.