todo for more tvar exprs