Modified (figured bass): exclude doubled leading tones

Leading tones are now named only when necessary, as it is defaulted as 'None'. This leaves open the possibility for on-the-fly changes of tonality.