Rename getters in bool.c and logical.c