Changing HOAS Value lambda ctor to return a Maybe, and propogate this through eval/quoting