0.7.11.2:

0.7.11.2:
        Merged in the mti-1202 branch:
        ... restored constraint propagation from type assertions;
        ... removed bogus type declarations in WITH-PACKAGE-ITERATOR;