Renaming is a common transformation. It would be useful to have a generic renaming implementation, which eliminates hidden names. In a next step, it would be great to configure naming schemes based on scope graph patterns. For example, we could prepend module names to variable names, e.g. x -> $[[m]_[x]] with Module{m} =I=> s, Variable{x} <- s.

Submitted by Guido Wachsmuth on 14 March 2017 at 12:42