Replace abstract-results with replace-names

The 3 commits at the end are the new ones.