There's talk about a Carrier trait for ? to support Option, but that would be used the same way, basically "unwrap this value or return None".
What you describe looks like a shorthand in the type system, where the current syntax is used in expressions, so at least they're different domains. It might be confusing compared to the current ?Sized though, which has nothing to do with Option.