HomeSoftware Heritage

Pin mypy and drop type annotations which makes mypy unhappy