Avoid copies during refresh-many.
Add "refreshables" to imperative state.

Refreshables keep track of those global variables which can be updated
via literals.
Add "refreshables" to CPPGenS, and add transition.

This also fixes a bug where the globals list was being wiped out at the
end of each role.
Add refreshment population to main generation.