Add more primitives
Add meet and is_bottom to lattices
Finish implementing if
Use abst to abstract value in Set_lattice.meet
Activate tests for if