Consider including opaque types in w11 or w12 and perhaps other advanced type system features

[bjornregnell]

To give a feeling of how Scala can be both performant and type-safe. Many students are curious on more advanced stuff...

[bjornregnell]

This will also support the story of trait Matchable... Some things are just Any and cannot be even be matched on.
https://docs.scala-lang.org/scala3/reference/other-new-features/matchable.html

[bjornregnell]

There are some slides on Matchable in week 6 but the story is incomplete and perhaps therefore a bit confusing?