Add Ex5~7 and two tests of the textbook