Added deftype for top-level type declarations.