Proposal to Add Static Assertions to the Core Language (Revision 3)

Adds static_assert(constant-expression, message). Applied with slightly modified wording.