HMRC Consultation: Simplifying DeFi Tax