Fix bogus comment
Comments about the let/app invariant
Don't use newSysLocal etc for Coercible

The code is smaller and simpler now.  Thanks to Richard for
raising the question.