Add some type checkers to to-list and remove need for reverse-list function