edit lecture: (lecture 22: add many) and add ScopedTypeVariables