Varargs of untyped

In addition to the untyped meta-type that prevents type checking there is also varargs[untyped] so that not even the number of parameters is fixed:

  1. template hideIdentifiers(x: varargs[untyped]) = discard
  3. hideIdentifiers(undeclared1, undeclared2)

However, since a template cannot iterate over varargs, this feature is generally much more useful for macros.