An improvement to Scala 3 opaque types (better opaque types)