A lot more fixes to the Language Spec.