Update builtins_spec.md