Can anyone let me know what is the status of implementation of the expectational operators (in particular E_t,t ) and when will they be ready for use in our dev version as they are needed for full implementation of Partial Information?

Also, is their syntax going to follow closely what is on the wiki page NewOperators?