typeMatch is used by normalizeTypes when determining if type expressions can/should be simplified
typeMatch is used by normalizeTypes when determining if type expressions
can/should be simplified

The expanded expressions are typically the result of simple unfolding
of the terse expressions, so equalType? is probably the right test
for undoing such expansions.


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

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