Add 0040-semantics-overview to proposals (#381)

Plenty of TBDs remain, scattered throughout the document.

Big TBD: complete examples with compiler explorer links documenting DXC
behavior.

Author: tex3d