Special types

4 python typing-spec rules tagged specialtypes.

• specialtypes_never -> NoReturn / -> Never function can fall through
• specialtypes_never_2 Never type compatibility violations
• specialtypes_promotions Access to an int-only attribute on a float-typed parameter
• specialtypes_type Invalid typeX usage violations