mypy arpeggio matplotlib numpy tkinter