Update pos_typecheck5.io