Start working on type searching features.

What's the point of the fallthrough constructor?