Start working on type searching features.

Actually, you don't need to check any but the first arg. If there's a void-type arg, it must be the only one.