My long-awaited thoughts on Haskell.
Merge tree- and term-rewriting, and give some commentary on it.
Give some type listings a more compressed layout.

--HG--
rename : templates/type.html => templates/type_Document.html
rename : templates/type.html => templates/type_Implementation.html
rename : templates/type.html => templates/type_Individual.html
rename : templates/type.html => templates/type_Programming Language.html
rename : templates/type.html => templates/type_compressed.html