Further fixed diminished chord behavior: there are only three
kinds: diminished, half-dim, and full-dim. full-dim-seventh
doesn't really make sense.
Added handling for fully-diminished chords (when being used in
an applied-dominant setting).