structure Syntax = struct datatype expr = EIdent of string | EInt of int | EStr of string | ETuple of expr list | EList of expr list | EApp of expr * expr end