seems that type checking for type declarations worked