Module 8 : Consumer Theory in Computable General Equilibrium