Select correct dataconstructor in tagToEnum# primitive translation