Improved description of the problems with the deforestation algorithm.
Add missing reference from paper.
New makefile and template, and add paper as appendix.
Add reference for the EDSL in deep vs shallow section.
Some formatting stuff.
Sections about Manifest arrays and Compilable.