Added 4.10 and 4.11 to MaxRectangle.  Needs cleanup, as does most of the
document.  Type-checks if definitions of "oplus", "otimes", "odot", "rights",
and "bottoms" are added.
Merge branch 'master' of https://github.com/mkmks/ctfp2014