Begin of b_exp implementation

Implementation of
 - Btrue
 - Bfalse
 - Bequal
 - Bleq
 - Bnot
 - Band