Support serializing records (RecordValue) in addition to sequences

(TupleValues) in JsonSerialize operator.

A RecordValue is serialized to a Json object, with the record value's
(finite) domain of strings being the Json keys.

[Feature][TLC]

Signed-off-by: Markus Alexander Kuppe <github.com@lemmster.de>

Remove use of deprecated `Applicable` interface (tlaplus#93)

Signed-off-by: Calvin Loncaric <calvin.loncaric@oracle.com>

Gracefully fail on a non-tuple argument in Json!JsonSerialize and

Json!ndJsonSerialize.

Related to microsoft/CCF#5807

[Feature][TLC]

Add SequencesExt!RemoveFirst and RemoveFirstMatch.

Add SequencesExt!Suffixes

Fix typos (tlaplus#89)

Signed-off-by: Sergey Bronnikov <estetus@gmail.com>

Add CSV!CSVWriteRecord as a convenience method to write a record

(optionally including its names as column headers).

[Feature]

Signed-off-by: Markus Alexander Kuppe <github.com@lemmster.de>

Fix bogus error messages.

[Bug]

Signed-off-by: Markus Alexander Kuppe <github.com@lemmster.de>

Copy domain and value arrays before normalization to *not* modify the

original
value.

[Bug]

Signed-off-by: Markus Alexander Kuppe <github.com@lemmster.de>

Correct Java module override reference in comment.