Formal definitions of UnitGroup and ReferenceValue that allow inferring an instance into each class

[rjyounes]

May not be possible in all cases. See parent issue for more discussion.

@mkumba asks where ReferenceValue is still needed.