Handle universes carefully to correct module type implementations