[Polyml] Re: Symbolic identifiers for module names