Sub Typing

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.