type declarations explored