A host function call (expression spec, Host functions): the declared function's name and its evaluated arguments, in declared order, each already of its declared type.