strength types for Haskell Prop measures
inline booleas in measure definitions
more Pred cases