Add an ugly fromList and toList
move to higher-order representation in preparation for better fromList and toList
Remove unused and outdated type annotations
Most of a fromList implementation - still need pushBack
finish nested pushBack and fromList