Member predicate Type::implementsComparable

Holds if this type implements comparable. This includes being comparable itself, or the underlying type of comparable.