use ext_s with dict copy
implemented mplus, bind, disj, conj