Some more about eval in GADT section.
Some rewriting in Template Haskell section.
Writing in Unboxed types section.
Add missing word in HOAS section.