added mypy: am I having fun yet?! deleted unused "benchmarking"