- fixed bug when changing arity of variables - made options parameters for Exh truly dynamic ; users can now change them on the fly - when number of alternatives is large, alternatives are displayed as a list - added bare-bones support for Generalized Quantifiers (cf exh.exts.gq)