flesh out NT-derived classes (through rule close_spec)