diff --git a/index.d.ts b/index.d.ts
index 242070a..5073226 100644
--- a/index.d.ts
+++ b/index.d.ts
@@ -116,52 +116,7 @@ export const emptyEnv: {
         children: any[];
     };
     typeDict: {
-        tree: {
-            at: any;
-            begin: {
-                clone: any;
-                hasNext: boolean;
-                hasPrev: boolean;
-                index: number;
-                key: any;
-                next: any;
-                node: any;
-                prev: any;
-                remove: any;
-                tree: any;
-                update: any;
-                valid: boolean;
-                value: any;
-            };
-            end: {
-                clone: any;
-                hasNext: boolean;
-                hasPrev: boolean;
-                index: number;
-                key: any;
-                next: any;
-                node: any;
-                prev: any;
-                remove: any;
-                tree: any;
-                update: any;
-                valid: boolean;
-                value: any;
-            };
-            find: any;
-            forEach: any;
-            ge: any;
-            get: any;
-            gt: any;
-            insert: any;
-            keys: any[];
-            le: any;
-            length: number;
-            lt: any;
-            remove: any;
-            root: any;
-            values: any[];
-        };
+        tree: any;
     };
 };
 
@@ -210,11 +165,11 @@ export const unit: {
 
 export function RBTreeWrapper(...args: any[]): any;
 
-export function UnifyError(...args: any[]): void;
+export function UnifyError(...args: any[]): any;
 
-export function addDouble(x: any): void;
+export function addDouble(x: any): any;
 
-export function addInt(x: any): void;
+export function addInt(x: any): any;
 
 export function apply(input: any): any;
 
@@ -230,7 +185,7 @@ export function compareDicts(compareKeys: any): any;
 
 export function compareDoubles(x: any): any;
 
-export function compareDynamic(x: any): void;
+export function compareDynamic(x: any): any;
 
 export function compareFunctions(_compareInput: any): any;
 
@@ -238,7 +193,7 @@ export function compareInts(x: any): any;
 
 export function compareLists(compareElems: any): any;
 
-export function compareOrderings(a: any): void;
+export function compareOrderings(a: any): any;
 
 export function compareProducts(compareLeft: any): any;
 
@@ -252,11 +207,11 @@ export function compareStrings(x: any): any;
 
 export function compareSums(compareLeft: any): any;
 
-export function compareSymbols(a: any): void;
+export function compareSymbols(a: any): any;
 
-export function compareTypes(typeX: any): void;
+export function compareTypes(typeX: any): any;
 
-export function compareUnits(_: any): void;
+export function compareUnits(_: any): any;
 
 export function compareValues(compareElems: any): any;
 
@@ -266,15 +221,15 @@ export function dictType(typeParam: any): any;
 
 export function enumType(variants: any): any;
 
-export function eqDouble(x: any): void;
+export function eqDouble(x: any): any;
 
-export function eqInt(x: any): void;
+export function eqInt(x: any): any;
 
-export function eqSymbol(a: any): void;
+export function eqSymbol(a: any): any;
 
-export function eqType(t1: any): void;
+export function eqType(t1: any): any;
 
-export function eqUnit(_: any): void;
+export function eqUnit(_: any): any;
 
 export function fnType(typeParam: any): any;
 
@@ -288,21 +243,21 @@ export function getEnabledFunctions(env: any): any;
 
 export function getFunctions(env: any): any;
 
-export function getHumanReadableName(symbol: any): void;
+export function getHumanReadableName(symbol: any): any;
 
-export function getInst(lnk: any): void;
+export function getInst(lnk: any): any;
 
-export function getInstances(env: any): void;
+export function getInstances(env: any): any;
 
-export function getLeft(product: any): void;
+export function getLeft(product: any): any;
 
-export function getParams(type: any): void;
+export function getParams(type: any): any;
 
-export function getRight(product: any): void;
+export function getRight(product: any): any;
 
-export function getSymbol(type: any): void;
+export function getSymbol(type: any): any;
 
-export function getType(lnk: any): void;
+export function getType(lnk: any): any;
 
 export function getTypes(env: any): any;
 
@@ -340,7 +295,7 @@ export function makeModuleEnum(type: any): any;
 
 export function makeModuleStruct(type: any): any;
 
-export function makeTypeConstructor(symbol: any): void;
+export function makeTypeConstructor(symbol: any): any;
 
 export function makeTypeParser({
   // parser can be extended:
@@ -349,7 +304,7 @@ export function makeTypeParser({
   extraInfixOperators,
 }: any): any;
 
-export function match(sum: any): void;
+export function match(sum: any): any;
 
 export function memoize(callback: any): any;
 
@@ -357,23 +312,23 @@ export function mergeTwoWay(m1: any, m2: any): any;
 
 export function module2Env(module: any): any;
 
-export function mulDouble(x: any): void;
+export function mulDouble(x: any): any;
 
-export function mulInt(x: any): void;
+export function mulInt(x: any): any;
 
-export function newDynamic(i: any): void;
+export function newDynamic(i: any): any;
 
-export function newLeft(left: any): void;
+export function newLeft(left: any): any;
 
-export function newProduct(l: any): void;
+export function newProduct(l: any): any;
 
-export function newRight(right: any): void;
+export function newRight(right: any): any;
 
 export function occurring(type: any): any;
 
 export function pretty(obj: any): any;
 
-export function prettyT(type: any): void;
+export function prettyT(type: any): any;
 
 export function prodType(typeParam: any): any;
 
@@ -391,37 +346,26 @@ export function unify(fType: any, aType: any): any;
 
 export function zip(a: any, b: any): any;
 
-export namespace UnifyError {
-    const stackTraceLimit: number;
-
-    function captureStackTrace(p0: any, p1: any): any;
-
-    function isError(p0: any): any;
-
-    function prepareStackTrace(error: any, trace: any): any;
-
-}
-
 export namespace dict {
-    function emptyDict(compareFn: any): void;
+    function emptyDict(compareFn: any): any;
 
-    function first(dict: any): void;
+    function first(dict: any): any;
 
     function fold(callback: any): any;
 
-    function get(dict: any): void;
+    function get(dict: any): any;
 
-    function has(dict: any): void;
+    function has(dict: any): any;
 
-    function last(dict: any): void;
+    function last(dict: any): any;
 
-    function length(dict: any): void;
+    function length(dict: any): any;
 
     function read(iter: any): any;
 
-    function remove(dict: any): void;
+    function remove(dict: any): any;
 
-    function set(dict: any): void;
+    function set(dict: any): any;
 
 }
 
@@ -430,40 +374,40 @@ export namespace list {
 
     function fold(callback: any): any;
 
-    function get(ls: any): void;
+    function get(ls: any): any;
 
-    function length(ls: any): void;
+    function length(ls: any): any;
 
-    function map(ls: any): void;
+    function map(ls: any): any;
 
-    function pop(ls: any): void;
+    function pop(ls: any): any;
 
-    function push(ls: any): void;
+    function push(ls: any): any;
 
-    function put(ls: any): void;
+    function put(ls: any): any;
 
 }
 
 export namespace set {
-    function add(set: any): void;
+    function add(set: any): any;
 
-    function emptySet(compareFn: any): void;
+    function emptySet(compareFn: any): any;
 
-    function first(set: any): void;
+    function first(set: any): any;
 
     function fold(callback: any): any;
 
-    function forEach(set: any): void;
+    function forEach(set: any): any;
 
-    function has(set: any): void;
+    function has(set: any): any;
 
-    function last(set: any): void;
+    function last(set: any): any;
 
-    function length(set: any): void;
+    function length(set: any): any;
 
     function read(iter: any): any;
 
-    function remove(set: any): void;
+    function remove(set: any): any;
 
 }