added the forall testing tool, and changed lambda.reduce to .fold (correctly implemented)