Por que o 712 é um EIP e não um ERC se é uma construção de camada de aplicação?