Interval

目前BSL中无interval这一个type，所以使用
;;CONSTRAINT:always in the interval [0, WIDTH]
这种形式表明数据的区间

;;

在程序的“永久”部分使用，比如purpose是程序固定的一部分，所以永远双分号

；

在程序的临时部分使用，比如stub

命名

1. 要遵循题目/purpose，比如计数的程序就是用count命名。方程produce boolean就要含“？”
   man？
2. [FUNCTION/PARAMETER
   ]名字分割使用“-”
   count-man
3. [Data definition] names (type names) should use upper camel case WorldCse
4. 【Constant parameter】使用全大写
   HEIGHT

define/make-/

define-struct 定义复杂结构名字及小项目名字
construcotr就是构造器，用于制作这个类目
selector 选择器，选择wand中的小项目
predicate 判断