Why does global initializers need to be constant?

Nice!

And By "fixed" you mean that globals in types works the same as global globals, Right?