remove nearly all univalence in ReflectiveSubuniverse and Modality