Relaxed some upperbounds
Deleted old stuff
- Implemented isAuthorized to check if a user is allowed to run a handler,
instead of the adhoc 'isAuthorized' checks at each handler

- Cleaned up a bit
- Removed the NoMonoMorphism extension from the cabal file. Let's not do
  that by default if we don't need it