Wrote some more on quotient types.