Add lattice typeclass and a simple instance for sign analysis