- added iota - added binding conditionals - added generalized pattern matching - removed patterns - renamed subtype -> restriction type - made quantifiers (abbreviations for) higher-order operators - removed positional substitutions - simplified expressions, defining more complex ones as abbreviations - minor edits
- added iota
- added binding conditionals
- added generalized pattern matching
- removed patterns
- renamed subtype -> restriction type
- made quantifiers (abbreviations for) higher-order operators
- removed positional substitutions
- simplified expressions, defining more complex ones as abbreviations
- minor edits


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

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