Create literal.py

Class that maintains a list of all literals and a stack of the assigned literals, maintains conflicts as well