Maybe I'll merge these two moon types to just "ice moon" as you can be lucky.. or not for such variations.
There is no problem with both lava types for instance, but ice types on seed 610947 for whatever reason. Could it be that on the map both types are showed as "ice moon"? That could be the reason as I visit moons after checking their name on the map. Anyway, there are enough exploration tokens already to get the maximum reward, so these types can be merged for sure. One more thing to mention. When visiting a neutron star in Pirate home system it's not counted as visiting a proton star but Pirate's home system. One has to visit some other neutron star to finally discover it. Probably it works as expected yet a bit confusing.