create new sounding rules

我第一次看到add new sounding rules的时候内心是崩溃的  完全不知道要写什么。。。

感觉好像就是把这个subexpression type-check一下，check的时候的rule我们写出来就好了

比如说O|- void: Void   表示void这个字符必须evaluate成Void, 然后set void <= T 表示void是所有类型的subtype。这样的话就可以满足条件了。