| Why are exceptions disjoint from all other types rather than just being strings (or even arbitrary objects)? Also, currently strings are disjoint from lists; are they going to stay this way? I thought the plan was for strings to be lists of characters. |