Fix generation of data constructors' symbols