Staging out tests to type-existence, interface conformance, and unit
tests.