[asdl refactor] Moving towards a typed AST for ASDL itself