The subtyping relation in Sub is incorrect

[Heimdell]

lplzoo/Sub/Sub.hs

Line 157 in a838bd1

-> subtype t1a t2a && subtype t1b t2b

Should be a -> b < c -> d iff a > c and b < d.