Set version 0.8.0.0. Ajhc use version number as 0.8.0.x.
Fix many ghc warning. (cont.)