add boolean_constant_t