fix(check): harden type checker — occurs check + type schemes#61

hyperpolymath merged 2 commits into

mainhyperpolymath/betlang:mainfrom

claude/sharp-heisenberg-2ZsZvhyperpolymath/betlang:claude/sharp-heisenberg-2ZsZvCopy head branch name to clipboard