refactoring the lattice implementation / having a way to declare the variable with...