finished inference section
added inference tracing section
added undo/redo section
started backward chaining section
added more outline notes
reorganized introduction