You can derive simple types from your own simple types.
All the constraining facets will be applied from the whole derivation path.
Constraining facets have to be more restrictive than the base type's constraining facets.
Certain facets can be fixed along the way.