Compositional Initialization

In case anyone is interested, the latest draft of my thinking on Memberwise initialization can be found here: Explicit Memberwise Initializers.