Re: third version of semantics document

While I was waiting for Pat's revisions, I quickly put together a terse
document that covers much of the same technical ground.  Anyone who cares
to see a slightly different way of getting to roughly the same place is
welcome to take a look.

peter