Update pos_typecheck6.io