Use modules for reflective subuniverses and modalities