This is a wonderful idea. I remember mentioning the stripped-down boot-file trick to Joe Armstrong at $WORK lunch once, and his reaction was: “So you did read my book!”. Indeed I had!
If you want the working programmer’s course in Erlang/OTP, read the other Erlang books, but if you’re after some idiosyncratic mad-inventorship, then Joe Armstrong’s book delivers.
Any reason for making erlang and lists auto-included rather than having the user type them as well or, as a compromise, having notp.config contain them by default in support_modules?