Reflexivity Tutors Docs

To compile and comment on docs for Reflexivity.