Constrained global types for dynamic checking of protocol conformance in multi-agent systems.