When inventing name of nodes (during static arg instanciation), do

not use the module name. Otherwise, names with "::" are created, and
sometimes the lhs of the "::" does not even correpond to an existing
module.