Do we want to do this for all the types that have a default? One occurrence of this naming should not really push the standard library to enforce this naming.
I think we need a more complete approach to default values. I worry that creating a precedence for the name default to be at the beginning is just avoid the problem.