Support merge-unary
Fix strange lambda calculus