Arrays of records insufficiently type checked

[Per Östlund]

The following model fails without a proper error message:

record R
  Real x[:];
end R;

model M
  parameter R r[:] = {R({1, 2, 3}), R({1, 2})};
end M;

Currently only the type of the record class itself is considered when type checking, but in cases such as this the type of the record instances should be used instead.