Flache Typen für aufschlussreiche Programme: Grace ist optional, Performance nicht