Agreed with you 100% on module-specific exceptions. I think the service manager is a special case, for example a factory could be a closure which can't throw a module-specific exception if it had to throw one. I'll gladly change it to something module-specific if you can get the core devs to admit they have it wrong!