Enhance TH test file to check exact type signatures
of the generated declarations