I do like the way they added type-switch and switch expressions to get some of the sum-type ergonomics out of the existing object oriented type system.