Add MIDI playback infrastructure via PortMidi.