A nix type system shim

[blaggacao]

If needed, this seems to be a shim-in-able type system for nix for functin signatures not as heavy as the module system:

https://code.tvl.fyi/tree/nix/yants