Tiny fix to syntax formatting
Builtins are now introduced with '#builtin' with a hash

Rarely used features => hash-keywords
Nondep function types and _ in syntax doc
Rewording
Compare identifiers wrt canonical normalisation
Symbolic footnotes because why not
Ignore & clean bibliography temp files
Added metacontexts to typechecking.tex
Add combining diacritics to identifiers

Otherwise the checking under normalisation is a bit pointless anyway...
Move bib file to repo
Replace semantically-dubious Monoid instances with Default
Add Semigroup instances
Fix dependencies in cabal
Make MetaVar abstract
Remove MVCheck
Some docs and minor refactoring
Make Fixity.Prec abstract
Fixity: make takeWhileFix pure
More docs
Separate Ids and MetaVars into their own modules