0.7.9.41:

0.7.9.41:
        * Weaken type checks immediately when they are set according
          to the corresponding policy.
        * Because this change significantly increases load on the type
          algebra system, add caches to the latter.
        * Fix bug in %CONTINUATION-%EXTERNALLY-CHECKABLE-TYPE: an
          argument of a combination might be omitted.