HomeSoftware Heritage

Improve type annotations for test