`universe` (as `opamTypes` is assumed to always be opened)