Add more documentation to tactics in ReflectiveSubuniverse