BoolExp.hs seems to be working.