Add NixWith prototype + testcase