Specify semantics of native boolean operations
work around bugs in the explication
rename internal boolean operation constructors to avoid conflict with constructors of the described language
Implemented the required native functions