Index: tests/tuple/tuplePolymorphism.cfa
===================================================================
--- tests/tuple/tuplePolymorphism.cfa	(revision 57ccff1633958493e285f62eaaca39008d2b0591)
+++ tests/tuple/tuplePolymorphism.cfa	(revision a76da320affcab7f716d4f2426d19864c06e0263)
@@ -29,9 +29,9 @@
 // ensure that f is a viable candidate for g, even though its parameter structure does not exactly match
 [A] f([A, B] x, B y) { printf("%g %c %g %lld %c %lld %lld %c %lld\n", x.0.[x,y,z], x.1.[x,y,z], y.[x,y,z]); return x.0; }
-forall(otype T, otype U | { T f(T, U, U); })
+forall(T, U | { T f(T, U, U); })
 void g(T x, U y) { f(x, y, y); }
 
 // add two triples
-forall(otype T | { T ?+?(T, T); })
+forall(T | { T ?+?(T, T); })
 [T, T, T] ?+?([T, T, T] x, [T, T, T] y) {
 	return [x.0+y.0, x.1+y.1, x.2+y.2];
@@ -64,5 +64,5 @@
 }
 
-forall(otype T)
+forall(T)
 [T, T] foo([T, T] y) {
 	[T, T] x;
Index: tests/tuple/tupleVariadic.cfa
===================================================================
--- tests/tuple/tupleVariadic.cfa	(revision 57ccff1633958493e285f62eaaca39008d2b0591)
+++ tests/tuple/tupleVariadic.cfa	(revision a76da320affcab7f716d4f2426d19864c06e0263)
@@ -19,5 +19,5 @@
 	printf("called func(void)\n");
 }
-forall(otype T, ttype Params | { void process(T); void func(Params); })
+forall(T, Params... | { void process(T); void func(Params); })
 void func(T arg1, Params p) {
 	process(arg1);
@@ -92,5 +92,5 @@
 }
 
-forall(otype T)
+forall(T)
 T * copy(T x) {
 	// test calling new inside a polymorphic function
@@ -98,5 +98,5 @@
 }
 
-forall(ttype T | { void foo(T); }) void bar(T x) {}
+forall(T... | { void foo(T); }) void bar(T x) {}
 void foo(int) {}