refresh with the latest edits

NEW GOALS

* User-wide caching (orphaned, cargo team)

REMOVED GOALS

* Experiment with relaxing the Orphan Rule dropped
  for bandwidth concerns. (We may reframe.)

SIMPLIFIED GOALS

* Patterns of empty types -> moral support

Author: nikomatsakis