[asdl] Check types on the compiler itself, and add/fix type annotations