and model_field = Named of string * expr [@equal fun e1 e2 -> equal_expression e1 e2]
                 | Replaceable of string * expr (* replaceable (by name) fields *)
		 | Unnamed of expr
		 | Extend of model_expr
                 [@@deriving eq]