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