Title: A transfinite type theory with type variables