Draft delete_annotation_def (untested); bug fix in create_members