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