As regards your "2." I have often thought that Randall Munroe's approach with "Thing Explainer"[1] would serve (for the rest of us) a number of computer science theory dominated software areas exceedingly well. (how about "monad" using Munroe's strict 1000 word list?[2])
[1] https://xkcd.com/thing-explainer/
[2] http://splasho.com/upgoer5/phpspellcheck/dictionaries/1000.d...