add some illustrations for arith prod examples
bunch of edits, and some writing re: L