An id refers to a defined constant or argument within a function body. If no definition or argument matches the id name, an error is reported. Similarly, if id matches the name of a defined function or primitive operation, an error is reported.