Gradual typing of Ruby at Scale

Dmitry @darkdimius Petrashko Nelson @nelhage Elhage Paul @ptarjan Tarjan Russell @_russelldavis Davis Jake @jez Zimmerman