Renamed some operators simpler names.
Added the unary operator 'NOT'.
Added comparison of equality for Boolean expressions.
Removed unussed code.
Now constructors expressions are internal.
Method are disclosed which provide a cleaner interface.