Type narrowing

3 python typing-spec rules tagged narrowing.

• narrowing_typeguard TypeGuard or TypeIs on method with no narrowing parameter
• narrowing_typeis TypeGuard/TypeIs return type incompatibility in callable arguments
• narrowing_typeis_2 TypeIs narrows to a type inconsistent with the input type