Add tryCompareTo to Lattice trait

- Add tryCompareTo to Lattice trait; all lattices are forced to be
  partially ordered
- Implement tryCompareTo for core lattices