0.2.1 and under had a bug that if a rule translates a node to something that includes the node (even if the rule eventually converges so it should be okay). This bug is fixed and we also added a few convenience method
- #16 fix issue with nesting rules.
- #17 add some convenience methods to Dag.