Poly contains the interfaces and types for modeling behaviors and states of systems enabling complex systems to be composed from simpler ones.