Update pos_typecheck4.io