Algebra Interface

• Term operations, fresh variable generation, unification, matching, renaming, and display contexts
• Interesting term operation

  existsOnAllPathsToTarget ::
      (t -> Bool) -> t -> t -> Bool