enrich := λ(: base-tt Type)(: new-tt Type). (: (
   (if (non-zero new-tt) (
      (set base-tt (and( base-tt new-tt )))
   ) ())
   base-tt
) Type);