How many principal proposition types does the book first give?