Prop measures

This branch allows for lifting Bool haskell functions to Prop measures, as requested in #263.