Removed useless classes mapping Positive and Negative literals.
Literal is now a decorator of the class Variable.
ASPSolver does not work after these changes.