Prediction markets are getting their first rulebook and their first insider-trading firewall — type0 | type0