Added ostream operator to Literal
Added equality, inequality and smaller than operator to Literal
Added Clause