模板函数边界 - `_:Type` 问题

我们目前的模板函数解析存在一些问题:

• 模板标记的"优先级"并不理想 - 例如,对 _:Type 的解释令人惊讶且毫无用处(我认为在该情况下的当前行为可以被视为一个错误,但由于它会产生错误,因此可以通过向后兼容的方式进行修复)。
• 前端无法获取有关模板函数边界的信息。模板函数的边界是在后端确定的。解析器创建了 TemplateFunction 节点,但它是根据一份尚未付诸实践的草案规范中定义的分析来进行的。