Pack (mostly) stack TNs according to lexical scope information