add binary_boolean in eval.c