rename cc.redpen.config.Character to cc.redpen.config.Symbol