Statistics for Recent Diatonic Theory and Curwen's Tonic Sol-Fa Method: Formal Models for a Kinesic-Harmonic System