Enable provenance rewrite for algebra graphs (rather than trees)

[lordpretzel]

• need to keep track of which operators have already been rewritten (maintain a mapping =op -> rewritten op=)
• when a child that has already been rewritten should be rewritten again, just look up the rewriting
• need to rename operators though.