Add a TR Guide section on occurrence typing