Generate symbols for promoted data constructors