obt2017 Referreed talk abstract, reviews, and eventual slides for my talk at OBT on 21 January 2017, at POPL'17 in Paris.