type context = Binding of string * string * int
             | Frame of context * context;;


let rec lookup name env = match env with
Frame(binding,b2) -> lookup(name,binding)|
Binding(name,t,v) -> v;;