fix: lambda term isn't equal lambda expression