Add showdata support for the rest of the constructs listed as appearing only before elaborateSpec.
Add showdata support for the rest of the constructs listed as appearing only before elaborateSpec.

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

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