TR2 has all 14 examples (sans 6)

example 6 is the example of how programmers can make poor assumptions,
thus it’s not really a case we can show our system thus far derives the
correct type for