minor code cleaning
Better typing for lattice expressions
Lattice: operator fix
Lattice: rule of four (and a half)