Remove references to reduction
Refactor
Update readme and cabal description