Gradual typing of Ruby at Scale