tuple field type propagation, name translation in