flesh out NT-derived classes (through 'd' rules)
flesh out NT-derived classes (the rest)
update TODO