CheckIO: Fix false positives for functions returning unknown types and false negatives for functions returning record types