Supertype.hascasl revision 570e76db4a9af54fb440cdb1e218649bddd9aa56
type b, c
type a < b * b ->? c
op a : a; b : b; c : c;
. a (b, b) = c