Hi Josh:

one important motivation behind Cool is that it gracefully handles
inheritance of coordinators, eliminating the so-called inheritance
anomaly problem.

Therefore, the User's Guide on Cool should contain an example which
shows how in your implementation coordinators are inherited by subclasses.
Please can you add such an example.

-- Karl