A language for making random generators