CheckIO: improved type info - keep track of original typename.