Initial implementation of the template metamachinery to determine the result of binary arithmetic operations involving series.

Includes internal documentation and testing. Plus a change to make series_rebind sfinae-friendly and a couple of minor changes in the series_02 tests.