> I've sedded openempires to replace occurrences of _Type name_ with C++'s _Type& name_ for all functions arguments

This isn’t a valid transformation :/

> Compilers love singly assigned const values

I mean, they’re going to convert to SSA for you anyways.

> and seem to suffer under heavy pointer aliasing

Have you tried restrict?