SLC: `Conversion[A, Option[A]]`

I guess this could be seen as another example of where type negation could be useful (discussed some in "MINUS_NULL" and the future of explicit nulls).

E.g., something like this might make for a safer/less confusing conversion while preserving the convenience:

given [A <: !(Option[?] | Null)] => Conversion[A | Null, Option[A]] = Option(_)