I've identified a number of cases that suffer from problems caused by the type
resolution algorithm when the "unknown" type is present.
This has been brought up many times before, though not for a long while now. I’d suggest searching the mailing list archives for prior discussions.
David J.
