More imports for traits_ex
Rename binary predicates to areComparable areEquable and areNotEquable
Restrict opEquals
Fix