Made small changes to the Language Spec to reflect new decisions.