let rec intern pos tenv ty = 
  let kind_env = as_kind_env tenv in
  let _ = MiniKindInferencer.check pos kind_env ty star in 
    intern' pos tenv ty