simplified qualified import
added word boundary to quantifiers
translated comments in idris to haskell
remove unused indentation code
added word boundaries
smarter indent for where and let