Updates based on the group code review of arithmetic on 2011-02-15. The only substan...

Updates based on the group code review of arithmetic on 2011-02-15.  The only substantive change is that UnatePropagator no longer uses attributes. The rest is comments and other beatification.