Assigning a tuple expression to a record type should be possible

[emmanuel099]

Example:

CASM init test

using Point = (x: Integer, y: Integer)

rule foo(p : Point) =
    skip

rule test =
    choose x, y in [1..10] do
        foo((x, y))

If the argument types are correct, then it should be possible to pass on a tuple expression also when a record is expected.

[ppaulweber]

Needs proper relaxation in the FE type inference pass.