better structure for nests
renaming
factored out unnesting of spines
added another simplificatino rule
better List1 definition
Merge branch 'master' into invariants

Conflicts:
	Data/Spine.hs
fixed problems due to rushing
got it to compile using List1 for Nodes
added List2
better strategy for List1/List2; embedded length assertions in the code
cleanup