Do problems 6.5 and 6.10 (omit the last step) from Chapter 6.
Prof. Tian Zhao spoke about confined types on Monday.
Consider the static analysis he described. (You may need to read some
of the papers he talked about.)
As with all homeworks, please turn in your homework on paper at the beginning of lecture.