These files are used only by Forges, which is deprecated...
These files are used only by Forges, which is deprecated...

Rename some things to avoid spurious matches from egrep, etc.

  Type => CType
  Stmt => CStmt
  Exp  => CExp


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

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