edit lecture: add type and static typing