Adding some simple random generation.

Lack of proper type unification and the small size of the primitives
makes this ugly to do, and difficult to get "interesting" benchmarks.