Add strint inflation; resolve nasty bug.

Add a test for strict inflations over G-Sets.  In addition, resolve a
nasty bug where the Value pattern match in the receive was only
matching a bind to the same value, and not a greater value in the
lattice.