SE2, Vorlesung 03 – Polymorphie und Typhierarchien