Hi, thanks for your attention and kind words. I will try to see if it is possible to set up a follow up story in the direction you suggest.
About the variable names, unfortunately they do happen to be extremely abstract (i.e. non-specific) entities, so concrete and exemplary names are very hard to invent. This is common to all actual implementations of such abstract libraries: look at the Haskell standard library, for example :)