Like a function call, but for a primitive operation. The exprs are evaluated from left to right, and passed as arguments to the primitive operation named by prim-op. A define-struct form creates new primitives.