no-role-annots
Update documentation to reflect role inference in datatype contexts.
Deprecate roleAnnot.
roleAnnot