Full type-checking for Python code (except Monero app)