more work on the topos of actions
did star enrichments properly
did quiver enrichments properly
yet more work on the topos of actions