Fix renamings
Add slide about polymorphism