Changes to RefTy propagated to SpecVerify.
Uncurry additions.
1. New (robust?) approach to tuples and records, 2. Bound var invariant strictly enforced, 3. Bug fix in ANormalize.