New file with type proclamations.
Prefer type declarations to explicit checks.
Remove in favor of different contents and location.