val bindType : env -> string -> env
val bindVal : env -> string * Ast.typ * Ast.exp option -> env
val bindContext : env -> string -> env
val bindType : env -> string -> env
val bindVal : env -> string * Ast.typ * Ast.exp option -> env
val bindContext : env -> string -> env