improved / fixed determination of unresolved type dependencies