work on active semantics

  * finish "why not union" section
  * write about transitions and endpoints