Validation of LISTs, UNIONs, and COMPLEX types.
Validation of the base types.
Numeric range checks.
String length and array length facets.
Digits facet checks.
Enumeration facet.
Pattern facets, though they don't work.

More research required.