edit lecture: lecture 21: finish type variable scope