validate
Determine whether the specified primitive declaration is acceptable to be used with the given list of parameter declarations. Answer null if they are acceptable, otherwise answer a suitable String that is expected to appear after the prefix "Expecting...".
Return
Whether the primitive accepts arguments with types that conform to the given argument declarations.
Parameters
primitive
Which primitive.
arguments
The argument declarations that we should check are legal for this primitive.