<:> Illustrative constructions

Categorical and compositional construction in a vehicles domain.