matching facts against patterns rewritten and moved from environment to core
prepared foundation for backward chaining inference step
added backward chaining example
included undo/redo example