Add proper requires
Added comment about potential optimized reimpl of canonical form fn.
Removed unnecessary requires.
Remove unnecessary import.
Remove unnecessary requires and imports.
Remove unneeded imports.
Add back mistakenly removed import of VectorMonomial.
Added a couple of comments noting integrals which should be reimplemented analytically.
Anna's changes for thesis runs.