Mint and Redeem on Iron Finance