Ralph,
Your recommendation is already included in the latest beta 3.0.6-169 which is available for download.
For the augumented 7th chord we have now
7#5, 7+5, 7+, aug7, +7
With 5 variations this chord type is now leading the list of chord type variations.
Reinhold