file_system : fix some type annotations

these were causing errors in checked mode