Further refinement of DADL 1.5, moved on to describe CADL
Draft of the CADL_1_5 declarations, added a simple script to retrieve a list of todos