Generate data declarations required by defunctionalization