From a tagging point of view this is redundant. But I'm sure there are plenty tools that read tags on amenity=parking but ignore amenity=parking_space altogether.

We don't have a tagging scheme to say that a part of a amenity=parking has a maxstay. So the most useful mapping might be the splitting of the lot as you proposed.