Added MIDI-related widget exports to MUI.hs