Type Crypto Prediction Markets