SI-8146 Fix non-deterministic <:< for deeply nested types

Details in the commit messages.

Review by @adriaanm, @odersky /cc @szeiger