Start working on type searching features.

In general, I could use a docstring for each of these tests, or at least most of them. Feel free to stick it on as a commit atop your latest rather than jamming it in here and having to rebase.