fix encode_texpr for TVar

that's is everything, right?