Answer whether the first type is a proper subtype of the second type, meaning that it's a subtype but not equal.