Working on the ordered canceller.

+ Refactored to reduce some dependencies.
+ Pulled out SynSepLog, a syntactic separation logic with tactics.
  - Note: I still need an instantiation of this.