Varför är 712 en EIP och inte en ERC om det är en applikationslagskonstruktion?