Hvorfor er 712 en EIP og ikke en ERC hvis det er en applikasjonslagskonstruksjon?