ArbEx — Modeling Infrastructure For Event Contracts