nitj: implement bool exprs