Add a backward chainer and some more Rules