a type inferencer and indexer for Ruby - View it on GitHub