SMS dit: Polygroup theory and related systems