Renamings

Upon import of a module, visible objects in this module can be renamed. A renaming construct specifies a list of pairs consisting of an old visible name and a new visible name. It has the following layout.

    imports
        Module {
            renamed by [
                a -> b,
                ...
            ]
        }

If a renaming is applied to an overloaded name, all instances of this name will be renamed.