Simplify alea.rng.RNG interface and add implementation-related comments