Я не совсем уверен, правильно ли я понял. Но то, что вы сделали, должно работать с небольшой модификацией:
set val "Hello"
set listA {6 7}
# or:
# set listA {}
# lappend listA 6 7
puts "${val} user! Your list contains two values. First is [lindex $listA 0] and the second is [lindex $listA 1]"
Дает вывод:
Hello user! Your list contains two values. First is 6 and the second is 7