Add a VHDL typing style (and some other fixes).

This was an attempt to get line numbering on the VHDL files, but
apparently line numbering is broken in MkIV. Oh well, at least it added
a nice box around the VHDL.

Fix the font of footnotes.

It now has a lambda!

Set up headers, footers and page numbers.

Improve the layout of intermezzos.

In particular, don't put spacing above and below it, which looks ugly.

Move a sidenote.

Disable display of TODO's.

Use η/β-expansion instead of η/β-abstraction.

Add Scrutinee binder removal.

Move some examples around.

Actually refer to the intended normal form definition.

Some more fixed resulting from Jan's comments.

Always use a lowercase letter after a colon.

Improve some wordings.

Add sitenote about arguments vs. inputs.

Fix a reference.

Add intermezzo on wild binders.

Improve the titlepage.

Add an intermezzo about the id function.

Add some content to the case normalization section.

Remove deprecated paragraph.

Remove TODO (links were made non-bold a few commits back).

Move references to the larger margin.

Use \VHDL\ (etc.) instead of relying on \autoinsertnextspace.

The \autoinsertnextspace macro is not always reliable and was removed in
a recent ConTeXt version.

Remove TODO.

Say something about not using simplified core.

Remove some TODOs.

Add a section on simulation.

Use normal style zeroes instead of using the sans font.

Don't suggest messing with the clock input.

Instead, use a register's write enable port.

Move the Template Haskell intermezzo a bit down.

Invert the intermezzo offset.

This looks way better for left margin intermezzo's and doesn't seem to
matter much on right ones.

Set up doublesided margins and pagenumbering.

Put one more 0 in another font.

Fix things following from comments from Marco and Sabih.

Add reference about Core's operational semantics.

Fix a lot of things following from Jan's comments.

Improve strikethrough a bit.

Remove debug print from pret-lam.

Limit luatex to 500M of virtual memory.

Luatex has the tendency to bring down the entire system when it goes
into some infinite loop.

Make a var local (again) in pret-lam.

Prettyprint comments in italic.

Add strikethrough to the lambda prettyprinter.

Add TODO.

Various small fixes following from Bert's commentaar.

Add backmatter commands.

Remove unused defref.

Remove a TODO.

Replace statement with expression everywhere.

Add another reference.

Add some references to the context chapter.

Make sure the list of references is numbered.

Fix todo's in the introduction chapter.

Allow passing a once option to scons.

Setup bibtex.

Add section on EDSLs.

Note that we've not considered EDSLs and TH.

Finalize section on state in prototype chapter.

Partially update state annotations section in the prototype chapter.

This is an unfinished commit, to store intermediate progress.

Require an automatic subscript to start with a number.

Remove todo.

Improve graph representation section a bit.

Remove todo.

Improve conclusions.

Make a small start on the state annotations section.

Note the use of tuples for hierarchic state.

Fix unbalanced parenthesises.

Update conclusions.

Add a section on normalization of stateful descriptions.

Add missing parenthesis.

Add initial sketch for conclusions.

Reference the substitution intermezzo.

Add TODO.

Solve and remove some todos.

Add an intermezzo about substitution.

This is the first attempt at an intermezzo, which is not quite ideal yet,
but it works for now.

Build the pdf only once each time.

This might leave incorrect references, but speeds up the process.

Fix reference.

Fix typo.

Move some more stuff around in the Normalization chapter.

Fix two references.

Rename example function app2 to twice.

app2 would get the 2 in subscript, which might be confusing.

Use \$ instead of just $ in lambda expressions.

This prevents vim's syntax highlighting from screwing up.

Restructure and expand parts of the normalization chapter.

Document the use of type annotations on variable references.

Remove some whitespace.

Change the symbol used for casting to ▶.

This removes the ambiguity between using :: for explicitly casting and for
showing the type of an expression.

Support ▶ in the lambda prettyprinter.

We'll have to use the glyph from our roman font, since our sans font
doesn't have it.

Add note about β-reduction for type variables.

Restructure some of the normalization chapter.

Some minor fixes and improvements.

Put a VHDL in smallcaps.

Fix two references.

Finalize the proofs section.

Also add a section about proofs to the future work section.

Add vim modelines.

Review more chapters.

Fix typo in regex for subscripts.

Review the first few chapters.

This fixes a lot of small errors, improves some wordings, adds some todos
and rewrites all todos to use the fixme package.

Use the unicode rightwards arrow instead of \rightarrow.

It seems this uses the arrow from the current font instead of something
else, which looks slightly better.

Support => in the lambda prettyprinter.

Use a non-breaking space instead of \obs in the lambda prettyprinter.

This makes sure that lambda expressions don't get breaks halfway, but
still preserves multiple spaces (apparently the unicode non-breaking space
is not collapsed like other whitespace).

Put DEFAULT in smallcaps in the lambda prettyprinter.