add ", but" for InvalidArgument error message where a type is provided

[kkmuffme]

Added a "but" after the "," in InvalidArgument errors, so one can easily find where the provided type starts. If the function has a param with array{} with many parameters and nested array{}, it is often very hard to find where the expected type ends and the provided type starts.

This is a very simple example, in reality I often had cases with 25+ keys.
https://psalm.dev/r/2e6a506272

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/2e6a506272

<?php

/**
 * @param array{ hello: string, world?: int, lorem: float, ipsum: array|int|float, bar: mixed, xyz: 'dada', abc?: string } $arg
 * @return void
 */
function foo( $arg ) {
 	print_r( $arg );   
}

$data = array(
  'hello' => 'world',
    'foo' => 'bar',
    'ipsum' => array(),
  'balsdk' => 564,
    
);

foo( $data );

Psalm output (using commit 24f7920):

ERROR: InvalidArgument - 19:6 - Argument 1 of foo expects array{abc?: string, bar: mixed, hello: string, ipsum: array<array-key, mixed>|float|int, lorem: float, world?: int, xyz: 'dada'}, array{balsdk: 564, foo: 'bar', hello: 'world', ipsum: array<never, never>} provided

[orklah]

Seems good! Can you fix remaining CI failures and it'll be good to go

[orklah]

Thanks!