Datastructure classes

Used to manipulate the worklist and the lattice cells of the constant
propagation algorithm.