Added findUnambiguous tests on existing find single or noFInd tests
Find unambiguous tests
Tail recursion at the type level!