Fixed subtle expr bug so that recursion works as expected
Better handling of fundefs in diagram
Fixed small bug in SetUtils to_ary