Format
Add lambda-terms.bin
Add in? predicat and union func
intersection
symmetric diff