Working on A6 BoolExp.hs.