Ctx -- has types (stack) -- for cut

- `Net` is like `Env`

TODO.md

@@ -1,9 +1,11 @@
 # type
 
-`freshenTypes` -- consistently add subscript to type variable names
+`Word.cut`
 
 `defrule` -- check type -- cut -- words composition
 
+- `freshenTypes` -- consistently add subscript to type variable names
+
 `defnet` -- type check -- cut -- words composition
 
 `defnode` -- check type -- arity of defined types

src/lang/ctx/Ctx.ts

@@ -0,0 +1,5 @@
+import { Type } from "../type"
+
+export type Ctx = {
+  types: Array<Type>
+}

src/lang/ctx/createCtx.ts

@@ -0,0 +1,7 @@
+import { Ctx } from "./Ctx"
+
+export function createCtx(): Ctx {
+  return {
+    types: [],
+  }
+}

src/lang/ctx/index.ts

@@ -0,0 +1 @@
+export * from "./Ctx"