a - b per lane, clamped to T's range instead of wrapping.
saturating_sub :: (a: Vector($T, $N), b: Vector(T, N)) -> Vector(T, N)