let lookup_var_type ~env (id : identifier) = 
  try
    lookup_var_type_from_local env.local_binding id
  with
    Not_found ->
        lookup_var_type_from_global ~env id