Added boolean primitives
Implemented cond