some docs before we forget what all of this is for
formatting
english
merge repl branch
resolving shadowing mistakes that crept in somehow

(cherry picked from commit c75aa108a675c04ec80256ed6eba435221adb546)
the new location comes first; this led to backwards-looking messages

(cherry picked from commit 90d1fce2c86107285ff4cbec23efbde699f0334e)
fixing up merge conflicts
separating s-provide/s-provide-all from s-import in the AST
remove unnecessary > characters and display correctly
switch to better representation of source locations
merge upstream from new-world
fix up merge with upstream