typing_counter.py: improve new option