> 1. Add types to the Nix expression language

Interestingly, this was one of the first issues that Edolstra (creator of Nix) raised himself, but unfortunately he closed it again as unrealistic a number of years later [0].

[0] https://github.com/NixOS/nix/issues/14#issuecomment-37820190...