datatype value = IntValue of int | FloatValue of real | BoolValue of bool | CharValue of char
datatype expression = Var of Variable | Lit of value | Binary of Op * expression * expression | Unary of Op * expression
type Variable = string
type Op = string
type Tuple = (Variable * value)
type State = Tuple list
