Add reflexive subuniverses theory