fix for Issue #626 - Distinct and generics not working together

sameDistinctTypes(a, b) ends up calling sameTypeAux(a, b, c) with a fresh c closure which has c.recCheck = 0. This was causing CycleCheck() to fail, hence the endless loop.