REPL: Don't put type on new line, if |name| < 6
REPL: Add initial environment of builtins
\textbf instead of \mathbf because lack of ligatures looks gross
Notebox instead of footnote
Parameterise fixity stuff for use in patterns etc later
Notations in typechecking.tex
syntax.tex: `val` declarations
Revert "\textbf instead of \mathbf because lack of ligatures looks gross"

...but apostrophes instead of primes look worse.

This reverts commit 194bd35214f53c10eca658f9fd3800a178abb6cb.
More typechecking stuff
Ignore .blg
Add more stuff to dashie.bib
Syntax doc tweaks
Add hashing for identifiers