Fix a regression introduced by commit:8852caa6 where sequence typing

containing variables but no toplevel variables would not be printed as
regular expressions but nested pairs.

types/types.ml

@@ -1964,7 +1964,7 @@ module Print = struct
             in
             let u_acc, tt =
               let tt_times = { empty with times = tt.times } in
-              if subtype tt_times seqs_descr && no_var tt_times then
+              if subtype tt_times seqs_descr && not (has_tlv tt_times) then
                 let seq = cap tt seqs_descr in
                 let seq_times = { empty with times = seq.times } in
                 if is_empty seq || (is_empty seq_times && not finite_atoms) then