Lift argument type checking out of the function type definition

[JeanMertz]

Functions currently can be fallible because of two reasons:

1. They perform an action that can fail depending on the value of their input (e.g. parse_json).
2. They can fail depending on the type of their input (e.g. sha1).

The former means its fallibility depends on the runtime characteristics of the incoming events. There's nothing we can do about this at compile-time other than enforcing people to handle the error case of a function call.

The latter is something we have more control over at compile-time, through our progressive type system.

This issue proposes moving type checking out of functions and into the compiler itself.

This means two things:

1. The function definition has to relay its expected parameter types to the compiler.
2. The compiler has to use that information to error if you pass a non-matching type as a function argument.

For the first point, we already have something like this in place, but it predates the new TypeDef and value::Kind system, since this check is done at runtime. We'll have to swap this out with the new value::Kind set-up.

For the latter, this is essentially another check we add to our FunctionCall expression. We already do a ton of compile-time checks there (function arity, parameter names, missing required arguments, abort-call on infallible functions), so it's just a matter of adding another check to this list:

Get the expected value kind for each parameter, and compare that against the progressively collected type information for the provided argument. If they match, we're good, if not, we add an error diagnostic related to the incompatible argument type, similar to this:

error: unexpected argument type
  ┌─ :2:4
  │
2 │ contains(.message, "foo")
  │          ^^^^^^^^
  │          │
  │          got: string or null
  │          expected: string
  │
  = hint: coerce the value using one of the coercion functions
  = see language documentation at: https://vector.dev/docs/reference/vrl/

ref #6146