added the triadic monoid
initial sketch of tests for the topos of right actions - need wrappings to do it properly