add tests for type declarations in signature annotations