Add a section on "pulled-back covers" in LICS draft
Add a section on "pulled-back covers" in LICS draft

- Second look at introductory example now uses pulled-back covers
  in defining the pattern match
- Other small changes in phrasing

bmsherman/topology