new_bb: parameter types must be explicit

watchpoint: it has three destinations instead of just an ExcClause

wpbranch: both destinations must be explicit