I keep mentioning “time”, because I learned a deep secret when I was breaking my brain trying to understand Denotational Semantics. The secret is: be very explicit and make everything very explicit as you think. Then, you can always wrap syntactic skins over the stuff, in order to elide the concepts that you think should be elided. In my mind, you can’t know what to elide if you don’t know - explicitly - what you’re dealing with. I guess that this is a kind of Physicist perspective - I want to know what makes things tick, I want to know what the Atoms are. Synthesizing better UXs is easier when you begin with a bag filled with Atoms.