Fix subsection
Fix Toom-Cook to be more consistent
Fix \coq and \ssr spacing
Make heading more informative
Fix extra indentation
Add and use \haskell command
Fix spacing before \ref
Fix label naming
Fix some references