haskell measure
add proper hmeasure errors
proper error messages
add documentation
strengthening lifted types does not work...
strengthening lifted types does not work...
add type to measure haskell functions, if they don't have
Merge pull request #249 from ucsd-progsys/haskell_measures

haskell measure -- beta