archetype
val lookup : t -> Ident.ident -> vardecl option
val get : t -> Ident.ident -> vardecl
val exists : t -> Ident.ident -> bool
val push : t -> vardecl -> t