Fresh name rewriters