July 17, 2014 update

* The household and firm problems have been stated and solutions
written.

* Missing an expression for the aggregate labor supply. How to pin down
labor supply for the non-optimizing households?