update the background and Quotien types chapters