Update builtins.md