active semantics: a bunch of writing

  * introduction + outline
  * better intro/justification for parallel composition
  * a bunch of cleanup and edits
  * some notes on comparison to related work