[mixedCase]

Does not care about flakes and does not care about adding types, the most important omission in Nix. A minor performance bump seems unlikely to make me want to boil the ocean.

[dlahoda]

nix modules have types. in flakes they can be quasi statically verified