lecture: lecture 01: add type summary