Add support for resolution with desired sequent

(Implementing solution 'B2' as described in
https://groups.google.com/d/msg/skeptik-dev/e4DWI1LvPpE/eGOu1fKmR_IJ )
-Still need to test
-Still need to change parser to use new constructor
-Still need to apply these changes to MRR as well.