Please add `tmFreshUniverse` and `tmUnquoteUniverses`

[JasonGross]

I'd like to be able to generate new fresh universes, as well as add constraints between universes to the global environment directly from a ConstraintSet.t