Review bool module until SPECL function
Complete conversion of bool module