is
Answer whether the first type is a proper subtype of the second type, meaning that it's a subtype but not equal.
Return
If type1 is a subtype of but not equal to type2.
Parameters
type1
The purported subtype.
type2
The purported supertype.