TUPLE: range
    { from read-only } { length read-only } { step read-only } ;