more updated documentation for braced tagged identifiers