Avoid universe bumps of `gset`/`mapset` (fixes #134)

I don't understand universes well enough to see why the previous version does not work. So if anyone can explain that, that would be great :).

tests/universes.ref

+gmap Z Z : Set
+     : Set
+gset Z : Set
+     : Set