build-list

build-list : (nat (nat -> X) -> (listof X))

purpose:
(build-list n f) = (list (f 0) ... (f (- n 1)))