Write a Song out as a Standard MIDI File, the reverse direction of Termtab.Parser.MIDI. Unlike that (lossy) importer, this exporter does preserve rhythm: each Track's beats are walked measure by measure (via songMeasures, not just whatever keys happen to be in trackBeats) and converted to MIDI delta-time events at a fixed 480 ticks-per-quarter resolution.