2) they may be sent, received or mined.
Coins are not meant to perform any functions beyond acting like money.
This is not true and it is not a clear cut difference.
1. We also have tokens that can be sent and received and can act as a currency because they have value in them such as Pundix(ERC20 token), OmiseGO(ERC20 token),Metal(ERC20 token). As you can see, they are all based on the Ethereum blockchain, but they offer payment solutions.
2. Not all coins can act as money or payment solution like BTC, DASH or LTC. They have different roles to play e.g Some are storage based coins, others are game based coins which you can not use as a method of payment in your local restaurant that accepts cryptopayments.
3. Also, not all coins can be mined e.g Ripple
Coins are just a method of payment while tokens may present a company’s share, give access to product or service and perform many other functions. Coins are currencies that can be used for buying and selling things. You can buy a token with a coin, but not vice versa. Coin operates independently, while token has a specific use in the project’s ecosystem.
I disagree, you can also buy a coin using a token thanks to the numerous exchanges available.
I used to sell off a lot of Shitcoins for a much more valued Ether and BTC.