Merge pull request #1 from mausch/master

Monoid instances for set/map
Switched target framework to 4.0
Cleanup of unused internal functions.
Fix Choice bind