ちなみに 2項 - は AdditiveGroup というプロトコルで + と単項 - を使ってこう定義してます：
public extension AdditiveGroup { public static func -(a: Self, b: Self) -> Self { return (a + (-b)) } }
https://github.com/taketo1024/SwiftyMath/blob/master/Sources/SwiftyMath/Abstract/AdditiveGroup.swift#L12