SI-8079 support uncheckedVariance in aliases

[retronym]

https://issues.scala-lang.org/browse/SI-8079

[adriaanm]

To improve type inference by variance-casting java-defined sam types

[adriaanm]

This could be used to work around the limitation documented in #153

[retronym]

scala/scala#5280