basic support from defining Haskell to Logic translation

@ranjitjhala measure examples are here