You can check whether a value/type is a sub type/value of another in ALT. All we have to do is take the difference between two values and query
? whether the result is none
!_. Another interpretation is that, when a value is a subset of another value, it can be considered to be a sub type:
Using this pattern for regular expressions currently has limited support.