Je pense qu'il faut vraiment généraliser l'existence des ranges, voire même, peut-être, introduire un type range. En tous les cas, il me semble que les rand devraient prendre un range, et du coup, au lieu de rand (42, 51) il faudrait écrire rand (42 .. 51) et, tu l'auras compris rand (42) donne toujours 42, et rand (42, 51) renvoie soit 42, soit 51.