Add some initial content about application, choice and types.

All of this is copied directly from my thesis, examples and other stuff
has been left out and it still needs cutting down. Layout is still
broken in some places.

Add vim modeline.

Add dummy macro for Haskell code.

Add macros for certain acronyms in small caps.

Doesn't work with the default font, though, but we'll sort that out
later.

Add a trivial makefile.

Add initial section headings.

Empty initial commit.