de.fosd.typechef.typesystem
compares with of two types.
compares with of two types. if this<that, this type can be converted (widened) to that