Yeah I read that senior thesis by arun debray (you mean that?)
It made the base definitions more clear to me, however, I am not able to understand the examples. Also, the examples are on character level and I dont know how to "pull that back" to the module level of things