Typed Python API for tmux
