Investigate real literal types

[oyvindberg]

There were a bunch of reasons why the current encoding with sealed trait strings were chosen, and it's time to revisit and see if those reasons still hold with scala 3.

The biggest issue is that we get more erasure collisions, so some research into new encoding is needed. See https://github.com/ScalablyTyped/Converter/discussions/343 in particular