$ 0 0 *MERGE* Merge the latest trunk enhancements into the indexed-subtype-expr branch. (tags: indexed-subtype-expr)