@dicexp/naive-evaluator-builtins

为了防止类型不兼容的情况，同时为了减少生成代码中的重复代码：

• 内建通常函数所有涉及运行时的操作都应该借由 rtm 参数执行。
• 内建通常函数的定义部分中，应该明确标出哪些引入是类型，哪些不是。（用 import type。）