In the whitepaper there is the mention of two funds: Coin Traded Fund and Coin Managed Fund, what have  these funds become? Are they listed somewhere?