Beginnings of Summarizers and Ratings

Checkpoint -- nothing's working yet, but rewrote a bunch of code.

Began to write RatingEcot.

Refactored out IntTypeBasis, so we can begin to evolve a common concept
of an Integer "typeclass".