Allow dependent type references to variables in domain subtypes. E.g. op f: {x: Nat | p x} -> {y | q(x,y)}
Allow dependent type references to variables in domain subtypes.
E.g. op f: {x: Nat | p x} -> {y | q(x,y)}


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

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