Starting work on explicit types for equity index future options