Cadabra : a naming agency for magical names