Add EXCEPTION effects to functions

[eskimor]

As @ianbollinger pointed out, some functions might throw - the type should reflect that.