Make pret-lam support superscripts.

Both explicit superscripts, using _ and implicit by just appending a
number are supported.

Restructure pret-lam.

This change makes a distinction between words and symbols, which allows it
to prevent highlighting "let" in "letting" for example.

Prevent pret-lam from matching subwords.

Let pret-lam recognize the * symbol.

Format the example sequence as lambda calculus.

Let pret-lam recognize the "in" keyword.

Let pret-lam escape _ characters.

Make Core2Core depend on pret-lam.lua.

Add a sequence of examples for the new transformations.

The transformations themselves are not in the document yet, but this was
an exploration of the possibilities.

Add a \trans command that uses the lam pretty printing.

Add support for pretty printing lambda calculus.

Use a custom selection of fonts.

Fix some typos.

Fix typo.

Add a SConstruct file for building Core2Core.pdf.

Add a few progress documents.

These documents contain miscellaneous notes from the early stages of the
project.

Add the latest version of the flat functions document.

This document is unfinished and will probably be deprecated in the future,
but is still added to preserve history.

Add initial version of the Core2Core document.

This document describes core transformations and the canonical form.