pub fn lower_type_ref(
  t: elab_types.Typ,
  vars: dict.Dict(String, Int),
) -> Result(
  #(ast.TypeRef, dict.Dict(String, Int)),
  elab_types.ElaborateError,
)

pub fn type_ref_to_type(tr: ast.TypeRef) -> ast.Type