added `list` type to typedpython.py and new benchmark tests.