Unique-ify the names of top-level auxiliary bindings in derived instances (Trac…

Authored by simonpj.