How Well Do New Python Type Checkers Conform? | Not Hacker News!