Use consistent punctuation and capitalization in the list of things re-exported in the prelude. Also adds a (possibly missing) word.