a type inferencer and indexer for Python