下一步工作

我已经把simple type写好了， 现在需要 @Mestway 把 simple type 的形式化定义写出来，以及选择一个合适的更强的类型系统，并给出形式化定义，我根据这个定义继续开发
