Pushed through all the way. The universe bug was in the definition of open. It is now polymorphic.