make List-functions $foldr-rec and $foldr-iter scalar constants, add tests
make List-functions $map & variants scalar constants, add tests
add B combinator ("compose")
add List-function $first & implement $exist in terms of that, add tests