Title: A transfinite type theory with type variables, (Studies in logic and the foundations of mathematics)