A Type System For Call-By-Name Exceptions (Logical Methods in Computer Science, 2009)