SI-7788 Predef.conforms can circumvent implicit shadowing

... together with small improvements to shadowing detection
in implicit typechecking.

Review by @adriaanm