Did cleanup of whole paper based on read of Section 5.  Working on semantics in Section 4.