renamed randomArray to randomList; added choose generator
added list to inferred parameter types of forAll