On a transfinite heterotic string theory