Added some text to ba.org and moved code to code-and-outtakes.org.
Expanded core.clj, so that type diagrams can be generated automatically.