Implement parameter check for calls to external modules

[MarkusAmshove]

Add parameter count and parameter type checks for CALLNAT, PERFORM, etc.

Notes:

• You can put a numeric field as a parameter to an alphanumeric field, but only if the parameter is specified BY VALUE. Implicit conversions therefore need BY VALUE
• Do nodes that call external modules need to implement IMutateVariables for the parameter? Or do we opt out of this API and write the check ourselves? They can only be mutated if they're passed by reference
• If a variable group is passed and a variable group is expected but at some position the types of the variables differ, show the parameter on the module referencing node as the diagnostic position and add the variable from the passing group as additional info (passing this variable) and add the variable from the receiving group as additional info (into this variable)