series: finish implementing fully binary and in_place add, and add type tests for the two functions.