a type inferencer and indexer for Ruby