Using "in" on a List object is not flagged as incorrect Essence

[jwatts-maybe]

As a minimal example:

find x : int(0..5)
such that x in [i | i <- [1,2,3]]

Conjure compiles this into Essence', but Savile Row then throws an error:

Error:
    Savile Row stdout: ERROR: Expected set on right hand side of 'in' operator: (x in [1, 2, 3])

    Savile Row stderr: ERROR: Failed type checking after substituting in lettings.

    Savile Row exit-code: 1

(repo version 03d6014e5 (2024-09-25 19:47:19 +0100))