Docstring for the `Builtins` module