Making equality more robust obviates the need for ignorable elements

We now consider those nodes equal whose attrs are subset of the
other's in either direction... since they'll be merged.
Finally fixes #1, with updated tests to prove it