identifiers of ?None constructors still contain "Nothing"

The identifiers are still e.g. "!Nothing". Wouldn't "?None" be more consistent with the actual syntax?