Add [Are the types wrong](https://github.com/arethetypeswrong/arethetypeswrong.github.io) check on CI.
Add Are the types wrong check on CI.