fix hideous inefficiencies in explode and impode implode was taking forever, causing stack overflow, etc.
fix hideous inefficiencies in explode and impode
implode was taking forever, causing stack overflow, etc.


git-svn-id: 9ecf60ce9baff443e30a0472d3fd222fcb8117cf@3255 7b97033b-253e-4a5c-9b07-e25f9089a9fd

KestrelInstitute/Specware,KestrelInstitute/Specware,KestrelInstitute/Specware,KestrelInstitute/Specware,KestrelInstitute/Specware