active semantics: equivalence classes!
active semantics: finished!

  * XActive/FActive split
  * fix up to par. comp. for XActive
  * converting XActive <-> FActive, anchors, etc.