minor
merged conflicts
auto-registration of created atoms; small modifications to field access interception
simple util methods
updated some relation methods:
added counts in adition to total times
minor fixes
fixed a bug in shaddow_methods; fixed Expr._blk_to_quant to work with non-unary expressions
removed some 'binding.pry'; added the 'arity' method to QuantExpr
removed sdg_utils from this project (moved it to a separate repo)
defer sig body eval until after everything has been initialized
moved some resp to SigBuilder
type conf args
Merge branch 'ido'
Merge branch 'ido'
removed some useless code
Merge branch 'ido'
added a conf option to disable appended fact
Merge branch 'ido' into exp
Merge branch 'exp'