1 millon * improvement to isomorphism

Much better isomorphism implementation with lazy data structures and better algorithm. Can fail if complexity of calculation is too big, and that is user settable.
this is very much what I intended to avoid with banana-rdf: having people asking a Node what its type is, then casting it... Can we please use the `fold` instead?