Added necessary functions, and fixed nnName.
Don't produce i-infer messages from vars.
Condition-action rules no longer fire on bad substitutions.
Fixed bug in adopt-rule.
asserted? is now more efficient.
Now using valve selectors instead of open/close valves.
Mapper benchmark initial version.
Now using unassert from build_assert.