Full typing for Nix based on TypeScript

The only reason I'm not using nix everywhere is the lack of static typing. I just stumbled upon this and i'll give it a go.