Make some simple refactoring

- add an hwifi.nix to bootstrap working with nix (we can always use the standard cabal way)
- Improve some doc string sentences
- Improve some computations (composition, liftM, etc...)