Added times, div, seq, changed And and Or to match the EMCA spec