Fixed infinite loop in backward-infer.
Added eval-forms-with-locals.
Initial demos for condition/action rules.
Changed the function built by defrules to use eval-forms-with-locals.