First
Syntax docs so far
Parse comments
Better failure message in parser tests
Remove placeholders (_) for now
Add builtins for 'type' and the types of constants

Syntax is `builtin "name"`
Added builtins to syntax.pdf
HPC stuff
Add some doc comments
Package for coloured, sized brackets
SC fonts in titles even not in book mode
Typechecking doc
Add nisse.cls as TeX dependency
Remove HPC stuff till HPC actually works
New version of parsers with '\^A' fix
Start of typechecker
Library Exception mentions GCC by name
Add nat_int and int_rat coercion builtins
Remove irrelevant bits from instance Eq Exp'
Forgot about ttype etc abbreviations