Various language tweaks to part of the Language Spec.

The changes I have made should close some loopholes and make things
clearer for any compiler writers or developers.