implementation generation text
Update \note command
Add Algorithm section and pseudocode for generate
Fix so that some inlined haskell code renders properly in pdf