add specs for typedefs