fixes some minor naming inconsistencies

Our names are quite inconsistent as they are now (we use verbs, nouns
and adjectives all alike), and it's not easily fixed, because some of the
very established names are heterogeneous (compare Select, Assign, Typed
and Extractor). This commit fixes some of the most outstanding wats.