I think `tc/expression` is a confusing name here -- I know we can't use `tc/#%expression`, but something to indicate the real purpose would be good.