Faltam os erros, infraestrutura de erros e representação intermédia