New datatype tests (multiple normative facets for datatype restrictions)