I suppose it might be helpful to have different words to make more clear which "day" is being talked about.

Ah, but the problem with that is the odd choice they made - "sol"? Not eaxctly uniquely Martian, now, is it? What happens when Huygens starts doing its thang next year? What are they going to call a Saturnian day?