[asdl refactor] More progress making it a typed program