使用getopt进行简单的命令行参数处理，提供脚本化功能。
在function结构体对象中增加signature成员变量，作为以后实现类型检查的基础。

增加了CHKTYPE指令，用于检查指定位置上的参数是否符合指定的类型谓词。
增加判断对象是否为指定类型的lt_is_kind函数并且Fix a bug

修正因为在gen中用make_op_chktype处理CHECKEX指令而导致的错误
对用户自定义的函数增加参数个数检查机制

对原语函数的实现有bug，因此代码被我去掉了。