let tycon tenv t =
  app (lookup_type_variable tenv t)