Improve formatting and content of print_thunk.
Add the alternative right fold definition of lists
Add sequencing operator.