Replacing nouns, clauses, and repeated propositions through pronouns, proforms, and compressed constructions.