Consider sharing more details at the Lean Zulip chat - they enjoy hearing about unformalized areas.
Hopefully, after I'm done, you [...] will have difficulty understanding how you ever got by without this concept.
I was a bit skeptical of this part. 24 hours later and having felt-sense pop up in my thoughts like 20 times today, I am pleasantly surprised by how useful the concept is.
Thanks for writing this up!