ColoredMotzkinPath
A carrier domain from the domains catalogue; the signature is its storage shape. What is known about it elsewhere is mostly recorded against the collections that enumerate it, and says so.
A carrier domain: the nominal type this object is stored and dispatched as.
ColoredMotzkinPath: tuple<list<integer>, list<integer>>