Clarify universe indices, re-introduce G

Even if G can be derived using EQ-REFLECTION, we should still have it
because HTS does.