This adds EqDecision and Countable instances for lft to the lifetime logic's interface, analogously to the existing instances for atomic_lft.
These instances are used by RefinedRust (I overlooked them in my previous MR !38 (merged), and we only just noticed when porting to get rid of our fork of lambda-rust; sorry for the trouble!)