Changed title and abstract of Nick Carneiro's talk.

This will be more exciting than the Closure talk.