Predicate signature InputSig::typeStrongerThan

Holds if t1 is strictly stronger than t2. That is, t1 is a strict subtype of t2.

This predicate must be transitive and imply compatibleTypes(t1, t2).