rename symbolenset module