add some more sanity-check like tests for car and cdr; remove some comments on Y
Y combinator: hide definition of helper combinator U
Update TODO.md