Fix typecheck for pair literals