Removed some bug source
Removed HLists (to move them to a separate branch)
Removed Coproducts (to move them to a separate branch)