SetExprs print as sets
add binary operators to setexpr
add _eval_foo for foo in exp, log, sin, cos, ...
SetExprs support auto-evaluation with functions