PrePitch: Add `default initializer` protocol to the standard library

[Tino]

For reference: [Pitch] Add the DefaultConstructible protocol to the standard library