Moved Exceptions from toplevel to STACK signatures and modules