examples: cleanups.
cabal: remove deleted file.
sc: wibbles.
build: clean up makefile.
docs: clean up readme.
examples: remove unnec. derives.
paper: tweak, commit .pdf so folks can read it.
build: wibbles.
sc: wibble.
types: smart shrink list containers.
notes: update.
examples: wibbles.