Unique Ptr Lambda Calculus