finish modifying notation in ch 6 to be only about n-types