无类型的延迟类型解析

注意: 未解析 表达式是为没有执行符号查找和类型检查的表达式。

由于未声明为 立即 的模板和宏参与重载分析，因此必须有一种方法将未解析的表达式传递给模板或宏。

template rem(x: untyped) = discard
 
rem unresolvedExpression(undeclaredIdentifier)

untyped 类型的参数总是匹配任何参数（只要有任何参数传递给它）。

但是必须注意，因为其他重载可能触发参数的解析：

template rem(x: untyped) = discard
proc rem[T](x: T) = discard
 
# 未声明的标识符：'unresolvedExpression'
rem unresolvedExpression(undeclaredIdentifier)

untyped 和 varargs [untyped] 是这种意义上唯一的惰性元类型，其他元类型 typed 和 typedesc 并不是惰性的。