Adding Bird and Wadler Ch3 and Ch4