edit lecture: add type definition to lecture 03