SE-0202: Random Unification

[benrimmington]

@Alejandro

There might be better implementations, but for the sake of an example it works well.

It works, but if using the default generator, _stdlib_random would be called repeatedly, instead of only once.