Add Logic Subtyping Implementation - #567

Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v3. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

added 36 elements to PATH (reverse order, last has highest precedence): '/bin' '/sbin' '/usr/bin' '/usr/sbin' '/usr/local/bin' '/usr/local/sbin' '/nix/store/kyz3mm5snbb8998kbkm28jps1phk9509-file-5.47/bin' '/nix/store/csra6zhdjw7rjzv98fycz7qjalyv55k2-xz-5.8.3-bin/bin' '/nix/store/wgvplwp0faqhqr92w0ma8bxaxk202ama-patch-2.8/bin' '/nix/store/gik3rh1vz2jlgnifb9dh6vc6sxwwz9jj-bash-5.3p9/bin' '/nix/store/vlq7nnw39j7rwk0pp68w1fcwzpxahm9h-gnumake-4.4.1/bin' '/nix/store/3y3kzc5njlj7nwj1s78am0yzjnpicv9x-bzip2-1.0.8-bin/bin' '/nix/store/ndpbjk6jhw0da5h272dqqnyxa35a9gmx-gzip-1.14/bin' '/nix/store/k5akwnrn9x2afaj2va7g4a2zpdim8l43-gnutar-1.35/bin' '/nix/store/wp1cshqv98i8abs8rcx91s54igqgll0f-gawk-5.4.0/bin' '/nix/store/gn94gpcp5q08x4v6g8mvw8v4r65rcjzk-gnugrep-3.12/bin' '/nix/store/kgxafhycw2kybbqih759ykc2043qyi5j-gnused-4.9/bin' '/nix/store/ww555mznia5v7sz2w85lblg4amvhkhv1-diffutils-3.12/bin' '/nix/store/c1cjgg6p8m8fssivzrc2p13mwwml3p3v-findutils-4.10.0/bin' '/nix/store/9ypz3flqsrl5xl495mm8h645gadjsxi1-coreutils-9.11/bin' '/nix/store/jg984hgvy0m3h9xycqlddhllyxlwfm8y-compiler-rt-libc-21.1.8/bin' '/nix/store/5a8ysg1jnj8jmzzyfcfw7rvpvnp5rfpa-nodejs-24.15.0/bin' '/nix/store/wl2nw5l4x4dg6kclbgpq7v9212i1s6cy-ncurses-6.6/bin' '/nix/store/gi6n3gp7z0d1j4f2zpc7rwygjj45zgm4-ncurses-6.6-dev/bin' '/nix/store/j6y75cv6mh58wri47bcr8a23yvknm3jp-sbt-1.12.11/bin' '/nix/store/d3bwqm6bymhy3pdgbvf7vxjqfp31m3j1-gnumake-4.4.1/bin' '/nix/store/drxcv33qq9ava7gdpik5xs9q2wfnhdb0-binutils-wrapper-2.46/bin' '/nix/store/wcwr4iq7c8f4ygn8bd1q0k3i51lmhz35-clang-21.1.8/bin' '/nix/store/874j5xydsj6nr6i1zdrjvhln5gmxvvrr-clang-wrapper-21.1.8/bin' '/nix/store/s2946bl9ciwzhafd66jhansrmxq9xhqm-binutils-2.46/bin' '/nix/store/mbyy19mdwnfvfwmdi0gqgggx0njvpl1w-binutils-wrapper-2.46/bin' '/nix/store/9ypz3flqsrl5xl495mm8h645gadjsxi1-coreutils-9.11/bin' '/nix/store/bsh7n2nx8ndmm1mmww6v2h4851nalj13-glibc-2.42-61-bin/bin' '/nix/store/qxaq7jz61a6zkr2mq49i0zvqip2m2jj8-gcc-15.2.0/bin' '/nix/store/788mx070y81zjlg5ipcl0cra3afviw9k-gcc-wrapper-15.2.0/bin' '/nix/store/ilblcn1dkvzghcr2yk3av6jxn5rk1iqw-patchelf-0.15.2/bin'

exported 81 variables: 'AR' 'AR_FOR_TARGET' 'AS' 'AS_FOR_TARGET' 'CC' 'CC_FOR_TARGET' 'CONFIG_SHELL' 'CXX' 'CXX_FOR_TARGET' 'HOST_PATH' 'IN_NIX_SHELL' 'LD' 'LD_FOR_TARGET' 'NIX_BINTOOLS' 'NIX_BINTOOLS_FOR_TARGET' 'NIX_BINTOOLS_WRAPPER_TARGET_HOST_x86_64_unknown_linux_gnu' 'NIX_BINTOOLS_WRAPPER_TARGET_TARGET_x86_64_unknown_linux_gnu' 'NIX_BUILD_CORES' 'NIX_CC' 'NIX_CC_FOR_TARGET' 'NIX_CC_WRAPPER_TARGET_HOST_x86_64_unknown_linux_gnu' 'NIX_CC_WRAPPER_TARGET_TARGET_x86_64_unknown_linux_gnu' 'NIX_CFLAGS_COMPILE' 'NIX_CFLAGS_COMPILE_FOR_TARGET' 'NIX_ENFORCE_NO_NATIVE' 'NIX_HARDENING_ENABLE' 'NIX_LDFLAGS' 'NIX_LDFLAGS_FOR_TARGET' 'NIX_STORE' 'NM' 'NM_FOR_TARGET' 'OBJCOPY' 'OBJCOPY_FOR_TARGET' 'OBJDUMP' 'OBJDUMP_FOR_TARGET' 'OLDPWD' 'RANLIB' 'RANLIB_FOR_TARGET' 'READELF' 'READELF_FOR_TARGET' 'SHELL' 'SIZE' 'SIZE_FOR_TARGET' 'SOURCE_DATE_EPOCH' 'STRINGS' 'STRINGS_FOR_TARGET' 'STRIP' 'STRIP_FOR_TARGET' 'XDG_DATA_DIRS' '__structuredAttrs' 'buildInputs' 'buildPhase' 'builder' 'cmakeFlags' 'configureFlags' 'depsBuildBuild' 'depsBuildBuildPropagated' 'depsBuildTarget' 'depsBuildTargetPropagated' 'depsHostHost' 'depsHostHostPropagated' 'depsTargetTarget' 'depsTargetTargetPropagated' 'doCheck' 'doInstallCheck' 'dontAddDisableDepTrack' 'mesonFlags' 'name' 'nativeBuildInputs' 'out' 'outputs' 'patches' 'phases' 'preferLocalBuild' 'propagatedBuildInputs' 'propagatedNativeBuildInputs' 'shell' 'shellHook' 'stdenv' 'strictDeps' 'system'

nix shell from devShell: .#default