added procedures to (partially-)automate the discovery of good EDOs
A datatype for cadences; much more polymorphism for note values; a more sensible Eq instance for Music.