when in verbose mode, show type of case binder.
when in verbose mode, show type of case binder.

darcs-hash:20060411044018-1a7c6-8e83be6b3ae174aaa4382e24f22c6602ef729942

kirbyfan64/jhc,kirbyfan64/jhc,kirbyfan64/jhc,kirbyfan64/jhc