comment out hooks that would have added Renaming as kind of Value
comment out hooks that would have added Renaming as kind of Value

By the time renamings are generalized to cover all cases, there
is almost nothing left but the original syntactic information,
so having a separate semantic value for renamings is redundant.

(and restored pprint of renamings that was accidentally commented out)


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

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