thoughts:haskell-to-agda: minor grammar, punctuation nits

Sorry about the wrapping.  I know it makes the diff harder to read, but thought it was necessary.