SMS dit: The quantum monad on relational structures