Clean up some unused imports and fix some minor style issues

This branch removes unused imports and makes discarded values in do-bindings explicit using _ <- (the Curry frontend currently warns about neither of these style issues, see curry-frontend#20 and curry-frontend#134).

Additionally, .DS_Store is added to the .gitignore (a macOS-specific file that shouldn't be committed to the repo).