Exclude LazyOr, LazyAnd, LazyNot to use single LazyTree

[carlos-adir]

Every boolean expressions such as union or, intersection and or complementary not can be rewritten only using nor or nand ports.

The intention is to exclude the three classes LazyOr, LazyAnd and LazyNot to use a single one LazyTree.