Lacing (replication) syntax, discontinue support for replication guides?

[pboyer]

Option 1. New syntax

Foo<Shortest>(a, b, ...)
or 
Foo<S>(a,b,...)

Option 2. Syntactic sugar

a1, b1 = Shortest(a,b);
r = Foo(a,b);