rename symbols (strip prefixes, change style)