lecture: lecture 16: finish type Calc