edit lecture: lecture 16: add testTypeLevel