model of the ruby language: system definitions