Fix defknown of MAKE-RANDOM-STATE to avoid manual CHECK-TYPE.
Use NTH-VALUE when that's what is meant.
Simplify most uses of WITH-SYMBOL by altering its interface a little