Actually, for frequently used standard library functionality, I would very much object to introducing overhead for educational purposes at every single call sit

Actually, for frequently used standard library functionality, I would very much object to introducing overhead for educational purposes at every single call site. It's a tradeoff, of course, but if the user code becomes unreadable because the function names are verbose (so you constantly have to wrap lines and cut through the visual noise to see the actually meaningful part of the code), just to make sure people don't misunderstand basic functionality... that's not the tradeoff I would like.