Petition to change platform types to `?!` or `!?` ...

# language-proposals

[Ruckus]

Petition to change platform types to ?! or !? to make it a little more intuitive what they are (i.e. halfway between !! and ?)