remove class predicates from logical types
local measure symbols are not qualified, but Haskell functions are
cleaning
minor