Added a compiler discussion to intro section, incorporating some of the implementation discussion.
Significant expansion of compiler subsection.
Mentioned the simplicity of cut in the evaluation of CPS.