Add the ability to declare an empty dict as `{:}`

This exact syntax has been proposed before, most recently in Make using immutable datatypes more pleasant by adding a little syntactic sugar.

I don’t disagree that it could be useful for some. And once display prefixes were accepted as a thing, other types could possibly follow (TypedDict, deque…).