builtins_spec.md: added links in ToC