Add diagrams from Vincent's PADL paper to TR docs
Use prefix -> in the TR Guide examples

Also some minor fixes like using the more common
case-> form rather than case-lambda.
Add a TR Guide section about ->* and optional args
Add a top blurb to the TR Reference