add homepage to cabal file
fix mixup between inner and outer critical pairs
bump version