- 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)