Refactor so backchaining can handle all the special cases (maybe)
Test backward chainer
PLN Rule names are less ambiguous