What type-directed optimizations does Typed Racket perform and do any require full types?

On November 11th 2019, the PRL had a private offsite meeting at the More Than Words bookstore in downtown Boston. For future offsite organizers, this post records what happened and how.