edit lecture: refactoring (add higherOrders2)
edit lecture: refactoring (add summaries etc)