1sig typecat.
2accum_sig bobparser.
3
4% type checking
5% and limited type inference
6
7type tarr (list ttype) -> ttype -> ttype.  % arrow type
8type typeexp texp -> ttype -> o.
9
10