声明有序Cartesian空间[#93]

这里◆:space的三个参数定义有序坐标；◆:components需要三个Semantic标量值和对应空间。v是具体向量场(x²,y,z)，不是排版用的列向量。

其Semantic term是：

(components (^ (var x) (num "2")) (var y) (var z))

有序空间作为值的requirement携带。它不会因为被写入v就自动启用；下面的计算显式把r3放入假设列表。