Bugfixes:

* fixed a bug in printing single-element lists

* fixed refactored list constructors (they were building reversed lists)