Isn't the specification missing some sections giving semantics of equations and statements in the following form?

f(args);

For example, I can find the type rule for a simple equality equation in 8.3.1, but where is the type rule for the equation above?

I suppose a record constructor can never be used in this form, since the record constructor should be seen as a function with a single output for purposes of these rules (they are sometimes not seen as just a function with a single output, but I see no reason to make such an exception here).

Speaking of record constructors, is this a valid way to ignore a constructed record value (which is syntactically in the correct form for ignoring all outputs of a function call)?

() := R(1.0);