Yes, of course. I do think that there will be a formalization of KC that's fairly language independent, though. Basically, KC is here as a form of Occam's razor.

Also, the comparison between those 2 universe rules may directly yield the complexity difference, e.g. removal of rule leading to god-making. In any case I don't think it'll be possible to make any progress on this until superintelligence, which won't need any of our insights. That is kind of depressing thought.