Terms whose type has the query's shape. Codebase types in the query are found by name; names that aren't types become type variables. Exact matches (up to renaming) come first, then ones with arguments reordered, a Promise result, or a more general or more specific type.