Extend EDM Converter to handle MenuMux widgets
Extend menuMux conversion to handle multiple value-symbol pairs

- Enfore restriction that ONLY ONE symbol may be define for any set of values