Om HIP-4 og potensialet til @HyperliquidX som en prediksjonsmarkedsinfrastruktur