update higher_order_series.ss and numbered.ss