* [APPLICATIONS] In a separate file, with example.
* [APPROACH] Rewrote most of the outline based on rewrite in IND.
* [APPROX] Rewrote the appoximation section. The biggest (middle) part of the paper is now there (preliminary version).
* [EXTENSIONS] Added introduction to this section.
* [IND] Lots of changes to the examples.
* [FIXPOINT] Rewrote this section.
* [GENERIC_PROPERTIES] Rewrote this section. Added motivation.
* [IMG] Shortened namespace. Repositioned boxes for smaller width. SVG to PDF. PDF inclusion. Image cropping. Added newline to label (smaller width).
* [TYPED_LITERALS] Minor simplifications in exposition.