The IRS really needs an exemption for crypto