Interaction trees

Aggregator module re-exporting the interaction-tree development: the core coinductive definition and bisimulation (Basic), supporting utilities (Utils), the monad structure (Monad), and the effect algebra and interpretation combinators (EffectAlgebra).