Simplify the builtins module.