background overview at top
squashme
computer algebra overview
fix cas labels
wrapfigure r->R, lose vspace commands
remove introduction heading from comutations introduction
overview for term-rewrite-system
overview for extensibility
achievements in conclusion