Wanted to suggest an RFC for it but not sure if the reason for the lack of a formal Nix language specification is a deliberate choice or the lack of human-power to keep it maintained.
Totally missed this, thanks!
Thanks for the reminder regarding Nickel; there is also this thread you may be interested in: