Should convert toplev to partial static types for better checking

[andikleen]

would require dropping python 2 support

Start with output of existing tool (mypy?)