edit lecture: add type hierarchy example