Explain choice of Haste and benefits of compiling from STG.
Add reference for STG.
Add section on Haste implementation.