WYRL: updated the types example so that it compiles and runs, although it is not working correctly.