A KeyedPort
type KP is a VectorPort
whose sub- Ports
are accessible by key. Whenever a binary operation is performed between
a Port
of type P and KP, it is forwarded to the binary operation
between P and the sub-
Port
in KP keyed by the PortTraits
of P.