chore(types): fill out remaining partial types. <!-- Thank you for contributing to Pyodide! All improvements are welcome,
     so don't be afraid to make a PR. -->

### Description

<!-- Please explain what your PR is about:
     - reasoning for the change
     - some details of updated code
     - any noteworthy choices to be aware of
	Please refer to any related issues by #<issue_id> -->

Filling out remaining partially typed functions. Had to guess on a few, maybe some Any's could be avoided.

# setup: import random ; TESTDATA = "col1;col2;col3\n" + "\n".join(";".join(map(str, [random.randint(0, 1) for _ in range(3)])) + "\n" for _ in range(10000))
# run: read_csv(TESTDATA)

from io import StringIO

import pandas as pd


def read_csv(data):
    return pd.read_csv(StringIO(data), sep=";")

# setup: import random ; TESTDATA = "col1;col2;col3\n" + "\n".join(";".join(map(str, [random.randint(0, 1) for _ in range(3)])) + "\n" for _ in range(10000))
# run: read_csv(TESTDATA)

from io import StringIO

import pandas as pd


def read_csv(data):
    return pd.read_csv(StringIO(data), sep=";")
