Removed OPTIONS_GHC comments and replaced them by LANGUAGE comments.

Also removed some unused LANGUAGE extionsions.
Merge branch 'master' into deep-backend