better structure for nests
renaming
factored out unnesting of spines
added another simplificatino rule