test type declaration