unique pointer implicit conversions for + and -

A start to the eventual improvement where unique pointers can be implicitly converted to immutable and shared.