Extension-associated rewrites

[ss2165]

Should we have some standard interface for specifying sets of rewrites associated with some extension - rewrites over graphs containing the operations, types and values of that extension. This might also then encompass the "lowering" extension points.