power_series: make it a CRTP class, in preparation for the truncation work.