Added an implementation restriction for strings.
Added a Packages section to the Language Spec.