Added a Notation section to the Language Spec, which was basically
copied from the Go Language Specification.