we now introduce explicit copy functions whenever type_constraint is applied to convert between scalar/non-scalar representations