Convert mk_* functions in bool module
Convert bool module until ADD_ASSUM function