Post #1490214

@jonmsterling He had left type theory before I arrived, so I don't know him as well as I should like. Always food for thought. @mevenlennonbertrand @lindsey @zwarich