Placed more emphasis on the breaking nature of the enhanced proposal, and added EBNF for the enhanced form