WHOA, as a CS/Music Theory major and as an FP hacker, I must say, this is mindblowing stuff that I've definitely thought about but never implemented. Props to this guy. Good next steps after these would be notations for tonal, contrapuntal and schenkerian analytical structures, not to mention some sort of interface to, say, something like pd (puredata.info). Good find.