Rewriting to enable variables being members of 'variable groups'.
With identities only applying to certain variable groups... WIP.