making wf_expr_acc transparent.
a semi-working, but not proven setoid rewrite.
Merge branch 'extendable' of github.com:gmalecha/mirror-core into extendable