Refine using LogPy
add non-trivial logpy test
refine_one assumptions form tail list
pow_of_abs logpy test
refine_deep with top_down
use seq_Basic rather than unify_Basic
not-finished
not-working - op_registry
logpy assoc/comm matching better.  not evaluating
op_registry tuple->dict. objvalid checks is_Atom
remove Dummy reify
remove unnecessary code