Python の型チェックを VSCode 上で行いたい