Added TODO about lambdaVars yielding a membership predicate
ignore Adder executable
factored defR out of rhsR
remove pattern match from foo for now
reify-named
removed cleanupReifyR
TODO (redundant rule list)