Benchmark: Add more cases
Work on haddocks
cabal: build with -O2
Types: Kill redundant import
Builder: Kill redundant declaration and imports
Builder: Fix shadowed binding
Builder: Kill unused bindings
Builder: Make case analysis exhaustive