+Generalized and changed record type specifications. In short, there are:
+ text plain SUTRS
+ grs.sgml structured, "SGML-like" syntax
+ grs.regx.<filter> structured, Regular expression filter
+
+Bug fix: Result sets weren't sorted in operations involving boolean
+operations with "ranked" operands.
+