Added boxed type matching to RecursivenessTester but RecursiveListExamples still do not work