fix; iterator over expression
add; car cdr reduce
add; idea; typed car