universe annotations in ReflectiveSubuniverse and Modality