edit lecture: examples: type hierarchy template