Add non-recursive let-bindings for types