basic support from defining Haskell to Logic translation
minor
no hard file paths
remove class predicates from logical types
local measure symbols are not qualified, but Haskell functions are
cleaning
minor
fix bind names when Dictionaries exist
some tests
Merge pull request #285 from ucsd-progsys/coreToLogic

basic support from defining Haskell to Logic translation