(* or hetmet_esc identifier *)
| WEBrak : CoreVar -> WeakTypeVar -> WeakExpr -> WeakType -> WeakExpr
| WEEsc : CoreVar -> WeakTypeVar -> WeakExpr -> WeakType -> WeakExpr
(* or hetmet_esc identifier *)
| WEBrak : CoreVar -> WeakTypeVar -> WeakExpr -> WeakType -> WeakExpr
| WEEsc : CoreVar -> WeakTypeVar -> WeakExpr -> WeakType -> WeakExpr