- stringify Nix - convert rec attrset to use heap-of-vars - wrap function args in lazy wrapper + unwrap identifier access? - memoize functions - let..in -> rec attrset - rename 'mangling' - verify that $ cannot appear in genuine Nix identifiers unescaped