Fix bug in unfolding instantiated polymorphic type with subterms (subtype or quotient) that didn't have type vars substituted.
Fix bug in unfolding instantiated polymorphic type with subterms
(subtype or quotient) that didn't have type vars substituted.


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

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