Some missing wors in introduction.
EDSL section.
Small change in HOAS section.
Add example in Template Haskell section.