Added an image for some unary op logic, fixed the Absorption logic to allow execution of the rule on a statement like (p>(q&s)) which was accidentally prohibited before, added absorption level and tutorial, added toPrettyString for Facts