This module contains the primary structs, types, and traits for use in defining and analyzing a Multi-agent System (MAS).