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