Clean.
Cosmetic change.
Use Exc instead of option.
Some improvements in Lattice.v
Fixed.