a few annotations over the nature of cons car cdr