Text this: Trade Theory in Computable General Equilibrium Models