rename tuple-desc-op to tuple-desc

testfile.alc

@@ -1512,10 +1512,10 @@ let tuple-desc-impl = lambda (syn : host-syntax, env : host-environment, ud : ho
 
 	tuple-of(host-type, operative-result-desc(goal))(args, env)
 
-#let (tuple-desc-op-type, tuple-desc-op) = new-operative(host-unit, host-nil, tuple-desc-impl)
-let tuple-desc-op = into-operative(host-unit, host-nil, tuple-desc-impl)
+#let (tuple-desc-op-type, tuple-desc) = new-operative(host-unit, host-nil, tuple-desc-impl)
+let tuple-desc = into-operative(host-unit, host-nil, tuple-desc-impl)
 
-let my-tuple-desc = tuple-desc-op(x : host-number, y : host-number)
+let my-tuple-desc = tuple-desc(x : host-number, y : host-number)
 let my-tuple-type = tuple-type-explicit(type_(0, 0), my-tuple-desc)
 my-tuple-type
 
@@ -1576,10 +1576,10 @@ let id = lambda_implicit (T : type_(10, 0))
 		x
 
 
-# TODO: test this when tuple-desc-op can do more than just star-0
+# TODO: test this when tuple-desc can do more than just star-0
 #let point = lambda_implicit (U : type_(10))
 #	lambda (T : U)
-#		tuple-type(tuple-desc-op(x : T, y : T))
+#		tuple-type(tuple-desc(x : T, y : T))
 #
 #let mkpoint = lambda_implicit (U : type_(10), T : U)
 #	lambda (x : T, y : T)