Add list primitives k lambda spec
Remove vestigial code for inlined tl and hd