Correct and clarify evaluation semantics including to help users understand Nix language behavior without unnecessarily pinning down the implementation.