打印重建条款

打印完全重构的术语，并显示所有隐藏的参数/模式。

从这里可以看出类型检查器是如何理解输入的。

适用于：CLI？Emacs？

已经有国旗了--展示-暗示打印时将显示所有隐式参数。这可以与打印类型检查签名的某种方式相结合。