compute a flexibility mark, just so it's easier to turn on and off later
Fix issue unifying comparables brought up by Max on the lists

A flexible comparable should be able to unify with another comparable