new section on type inference and anonymous classes
refresh