tidying
optimization loop-breaker restored (for now)
comment out reify/oops rule
simplify-expr
tracking down optimization loop
'try' for rewrites
Encode ; SReify