Inner A,E quantifier support
All the quantifiers A,E,F,G,X,C are supported in toimplx.mac
false-> 0=1 and true->0=0 conversion rules are added to enable
nested call of qe().