Change "grammar" to "language" in abstract.
Set emacs variable in TeX file so I won't delete trailing w/space

Deleting trailing whitespace when saving shows up lots of spurious
changes in diffs.
Add NICTA acknowledgement boilerplate.
Introduce "executor equivalence" via action graphs.