rename symbols -> defs