Qual a diferença entre erro de tipo e erro de proibição?