ormap
ormap : ((X -> boolean) (listof X) -> boolean)
purpose:
(ormap p (list x-1 ... x-n)) = (or (p x-1) (or ... (p x-n)))
Intermediate Student Language