1.3 (2015-05-18)

• relaxed constraint for BoundedLattice (Levitated a)
• added instances to Dropped, Levitated and Lifted:
  • from base
  • NFData
  • Hashable
• added HashSet and HashMap lattice instances