Fleshing out language design document.

- Removed description of overloading, as that won't be in the first
  iteration of the language.
- Added descriptions of tuples and structs.