A type inferencer and indexer for Scheme.