class Object

We could use +extend Rk+ to extend only main, but we would have to +include Rk+ in any class, hence we include Rk to the global object.