Fix Core->Bedrock translation of data constructors.