My 2 cents: the difference of two points in an affine space is a vector, the sum of a point of an affine space and a vector is another point.

On Saturday, September 12, 2015 at 8:50:58 AM UTC+2, David Thomas wrote:

I think we definitely want to keep subtraction separate, and maybe
even allow for a subtraction operation that returns a different
type...