Fast gradual typechecker playground for Ruby