Unique Ptr Lambda Calculus Computation