edit lecture: simplify type hierarchy example