Tweak to specs.
Quick and dirty expansion of the intro to the Language Spec.