This is a great and insightful comment. May I just clarify, you say you are a "PL theorist"—is that programming language theorist? What kind of work does that entail?