Today I learned that the module builtins grows dynamically in the REPL.
builtins
As seen on Minecraft's splash screen.