not-finished
not-working - op_registry
logpy assoc/comm matching better.  not evaluating